Homotopy Type Theory category theory > history (Rev #36)

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

Definitions

Morphisms

Categories

Functors

Limits and colimits

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

Dagger morphisms

Dagger categories

Order theory

2-posets

Dagger morphisms in 2-posets

Higher categories

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

Theorems

References

Revision on April 20, 2022 at 15:35:15 by Anonymous?. See the history of this page for a list of all contributions to it.