[[!redirects category theory]] [[!redirects Category theory in HoTT]] < [[nlab:category theory]] Here we collect articles about doing category theory in HoTT. ## Definitions ## ### Homotopy precategories ### * [[quiver]] * [[directed graph]] * [[H-magmoid]] * [[H-spaceoid]] * [[homotopy precategory]] * [[concrete homotopy precategory]] * [[family of objects in a concrete homotopy precategory]] * [[SEPS]] category: category theory,navigation