Did you hear about the homotopy type theorist who dualised Coenzyme A? 

She made HoTT coCoA.

re: bad category theory puns 

"colimit cocones" should have been called "ne colimits".

Show thread

re: bad category theory puns 

the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

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.