Homotopy Type Theory
category theory > history (Rev #15)
Here we collect articles about doing category theory in HoTT. This is based off of the HoTT Book.
Definitions
Morphisms
Categories
Functors
Dagger morphisms
Dagger categories
Theorems
References
Revision on February 14, 2022 at 08:24:41 by
Anonymous?.
See the history of this page for a list of all contributions to it.