Homotopy Type Theory
Category theory

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

Definitions

Morphisms

Categories

Functors

Theorems

References