Follow

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

She made HoTT coCoA.

· · Web · 1 · 1 · 2

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"

Show thread
Sign in to participate in the conversation
Vachtnoes

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.