Astronomers have revealed new details about the makeup and age of a visiting comet that was born around a distant star. They ...

This paper develops the stellar interior geometry for charged anisotropic spherical matter distribution by developing an exact solution of the field equations of Rastall gravity using the notion of ...

These are notes for the talk I’m giving at the Edinburgh Category Theory Seminar this Wednesday, based on work with Joe Moeller and Todd Trimble. (No, the talk will not be recorded.) They still have ...

Category theorists and cognitive scientists study the structural (analogical) relations between domains of interest albeit in different contexts, that is, formal and psychological systems, ...

Protein function prediction is a difficult bioinformatics problem. Many recent methods use deep neural networks to learn complex sequence representations and predict function from these. Deep ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...