For topological and simplicial categories the definition of the opposite category is the same as the notion from classical category theory.
For a simplicial set we obtain the opposite simplicial set by component- wise reversing the order of the ordinal.
Let be a simplicial set. Let be a linear ordered set. Then the face and degeneracy maps on are given by.
Let be a simplicial set. Let be vertices. Then the simplicial mapping space is defined by
where denotes the adjoint of the homotopy coherent nerve: the homotopy coherent realization?. We have
where denotes the Yoneda embedding and denotes the cosimplicial-thickening functor. We think of as assigning to an ordinal (considered as a category) a simplicially-enriched category which is thickened.
Let be an -category. Two parallel edges of are called homotopic if there is a -simplex joining them.
Homotopy is an equivalence relation on .
Let be a classical category. Then
exhibits as a full reflective subcategory of . Here denotes the (classical) nerve functor an assigns to a simplicial set its homotopy category. Joyal calls the fundamental category of since if is a Kan complex is the fundamental groupoid of .
Moreover can be written as a composition
where denotes the simplicial nerve functor and denotes inclusion.
is a reflective subcategory.
(presentation of the homotopy category by generators and relations) Let be a simplicial set.
We have
For each , there is a morphism .
For each , we have
For each vertex of , the morphism is the identity .
Let be a simplicial set.
Vertices of are called objects of .
Edges are called morphisms of .
A morphism in is called an equivalence if it is an isomorphism in the homotopy category .
Two parallel edges of are called equivalent if there is a -simplex between them which is an equivalence.
Let be a simplicial set. The the following conditions are equivalent:
is an -category and is a groupoid.
satisfies the horn-filling condition.
satisfies the horn-filling condition for all horns except the left outer horn.
satisfies the horn-filling condition for all horns except the right outer horn.
Let be a diagram. If are Morphisms we will in general only have an equivalence
and no equality. If for all morphism these equivalences can be chosen in a “coherent” way, is called a coherent diagram.
If is a classical category and is a quasi-category then a homotopy coherent diagram can be defined to be a map of simplicial sets . This encodes the coherence data.
The category is a monoidal category where the monoidal structure is induced by the ordinal sum; i.e. the join of simplicial sets is defined by
If and are quasi-categories, so is
(over-simplicial-set, under-simplicial-set, over-quasi-category, under-quasi-category)
Let , be simplicial sets, let be an arbitrary map. Then there exists a simplicial set satisfying
where the subscript on the right hand side indicates that we only consider those morphisms which restricted to coincide with . We can define by
If is an -category, so is . In this case is called over--category
Dually the under -category is defined analogously by replacing $ with .
If is a classical category, then there is a canonical equivalence
A functor between simplicial sets / simplicially enriched categories / topologically enriched categories is called an essentially surjective functor reps. fully faithful functor if the induced functor between the homotopy categories is.
Let be an -category, let be a subcategory of its homotopy category. Then there is a pullback diagram of simplicial sets
is called a sub--category of spanned by .
(initial object, final object) An object of a simplicial set / a simplicial category / a topological category is called final reps. initial if it is final resp initial in the homotopy category .
(strongly final object) Let be a simplicial set. An object of is called strongly final object if the projection is an acyclic fibration of simplicial sets.
Let be an -category. Let be the full subcategory of spanned by the final vertices of . Then is either empty or a contractible Kan complex.