Homotopy Type Theory category theory > history (Rev #58, changes)

Showing changes from revision #57 to #58: Added | Removed | Changed

Here we collect articles about doing category theory in HoTT. This is based off of the HoTT Book.

Definitions

Homotopy precategories

Morphisms

Categories

Functors

Limits and colimits

  • product?
  • coproduct?
  • equaliser?
  • directed colimit?

Dagger morphisms

Dagger categories

Order theory

2-posets

dagger 2-posets

Dagger morphisms in dagger 2-posets

Concrete categories

Higher categories

  • (2,1)-precategory?
  • (2,1)-category?
  • (2,2)-precategory?
  • (2,2)-category?
  • 3-preorder?
  • 3-poset?

Theorems

References

Revision on April 25, 2022 at 21:48:18 by Anonymous?. See the history of this page for a list of all contributions to it.