Efficient and accurate algorithms are necessary to reconstruct particles in the highly granular detectors anticipated at the High-Luminosity Large Hadron Collider and the Future Circular Collider. We ...

As a practical example, researchers have collected data from the developing retina of 13 mice at different ages 5. Ideally, the embedding of such data should reveal a fluent trajectory of how ...

Of all the endless questions children and mathematicians have asked about infinity, one of the biggest has to do with its size. Whether it’s on the playground or at bedtime, children encounter the ...

In this post I shall discuss the paper “On a Topological Topos” by Peter Johnstone. The basic problem is that algebraic topology needs a “convenient category of spaces” in which to work: the category ...

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 ...