Homotopy Type Theory
Category — category theory

Overview

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

Pages

• 2-poset of partial maps
• category
• category of maps
• category of monic maps
• Category theory
• dagger epimorphism in a dagger precategory
• dagger monomorphism in a dagger precategory
• dagger precategory
• entire dagger morphism in a dagger 2-poset
• equivalence of precategories
• fully faithful
• functional dagger morphism in a dagger 2-poset
• functor
• functor precategory
• hom functor
• injective dagger morphism in a dagger 2-poset
• isomorphism in a precategory
• left adjoint
• map in a dagger 2-poset
• monic map in a dagger 2-poset
• natural transformation
• onto dagger morphism in a dagger 2-poset
• opposite precategory
• precategory
• product precategory
• representable functor
• Rezk completion
• split essentially surjective
• unitary isomorphism in a dagger precategory
• weak equivalence of precategories
• Yoneda lemma