Given a particle in Euclidean space, a central force is a force that points toward or away from the origin and depends only on the particle’s distance from the origin. If the particle’s position at ...

The poet Blake wrote that you can see a world in a grain of sand. But even better, you can see a universe in an atom!

Getting to the bottom of Noether’s theorem.

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

Nov 13, 2007 On modules for Lie infinity algebras in general and the definition given by Lars Kjeseth in particular. Alan Carey’s 60th Birthday Conference Jun 25, 2010 This week at MPI Bonn is (or has ...

I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to learn, only to have my ...

Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...

Many of you have heard murmurings about this book for several months now. I’m happy to report that it’s now out! Homotopy type theory: univalent foundations of mathematics, by the Univalent ...

Whether we grow up to become category theorists or applied mathematicians, one thing that I suspect unites us all is that we were once enchanted by prime numbers. It comes as no surprise then that a ...

Example: suppose we have a data structure representing an abstract address. An address is, alternatively, an email address or a postal address like in the previous example. We can try to extract a ...