Follow
Did you hear about the homotopy type theorist who dualised Coenzyme A?
She made HoTT coCoA.
re: bad category theory puns
the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"
Did you hear about the homotopy type theorist who dualised Coenzyme A?
She made HoTT coCoA.
re: bad category theory puns
the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"
re: bad category theory puns
"colimit cocones" should have been called "ne colimits".