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

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

Theorems

References

Revision on June 7, 2022 at 02:06:09 by Anonymous?. See the history of this page for a list of all contributions to it.