Did you hear about the homotopy type theorist who dualised Coenzyme A? Show more
She made HoTT coCoA.
re: bad category theory puns Show more
"colimit cocones" should have been called "ne colimits".
the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"
Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.