Homotopy Type Theory
category theory > history (Rev #14, changes)
Showing changes from revision #13 to #14:
Added | Removed | Changed
Here we collect articles about doing category theory in HoTT. This is based off of the HoTT Book.
Definitions
Morphisms
Categories
Functors
Theorems
References
Revision on February 14, 2022 at 07:29:04 by
Anonymous?.
See the history of this page for a list of all contributions to it.