Spahn
HTT, 1.2, the language of higher category theory (Rev #1, changes)
Showing changes from revision #0 to #1:
Added | Removed | Changed
1.2.1 the opposite of an -category
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.
Definition
Let be a simplicial set. Let be a linear ordered set. Then the face and degeneracy maps on are given by.
1.2.2 mapping spaces in higher category theory
Definition
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?.
1.2.3 the homotopy category
1.2.4 objects morphisms and equivalences
1.2.5 groupoids and classical homotopy theory
1.2.6 homotopy commutativity versus homotopy coherence
1.2.7 functors between higher categories
1.2.8 joins of -categories
1.2.9 overcategories and undercategories
1.2.10 fully faithful and essentially surjective functors
1.2.11 subcategories of -categories
1.2.12 initial and final objects
1.2.13 limits and colimits
1.2.14 presentations of -categories
1.2.15 Set-theoretic technicalties
1.2.16 the -category of spaces
Revision on June 21, 2012 at 23:58:15 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.