Homotopy Type Theory
Category — category theory

Overview

The Homotopy Type Theory wiki has 18 pages in this category.

Pages

• category
• Category theory
• equivalence of precategories
• fully faithful
• functor
• functor precategory
• hom functor
• isomorphism in a precategory
• left adjoint
• natural transformation
• opposite precategory
• precategory
• product precategory
• representable functor
• Rezk completion
• split essentially surjective
• weak equivalence of precategories
• Yoneda lemma