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

Showing changes from revision #61 to #62: Added | Removed | Changed

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

Definitions

Groupoids

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

Dagger 2-posets with elements

Higher categories

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

Theorems

References

Revision on May 18, 2022 at 16:26:36 by Anonymous?. See the history of this page for a list of all contributions to it.