Homotopy Type Theory
Category — category theory
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
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