Here we collect articles about doing category theory in HoTT. This is based off of the [[HoTT Book]]. ## Definitions ## * [[precategory]] * [[isomorphism]] * [[category]] category: category theory