homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The category of augmented simplicial sets is the category of presheaves on the augmented version of the simplex category :
This is the category whose objects are augmented simplicial sets and whose morphisms are the evident morphisms between these.
asSet
The join of simplicial sets is most naturally defined via a construction on augmented simplicial sets.
Last revised on November 4, 2010 at 08:48:44. See the history of this page for a list of all contributions to it.