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