Simplex category: Difference between revisions

Content deleted Content added

Inline

Revision as of 06:57, 10 April 2007

In mathematics, the simplicial category (or ordinal category) is a construction in category theory used to define simplicial and cosimplicial objects.

Formal definition

The simplicial category is usually denoted by $\Delta$ and is sometimes denoted by Ord. There are several equivalent descriptions of this category. $\Delta$ can be described as the category of finite ordinals as objects, thought of as totally ordered sets, and order preserving functions as morphisms. The category is generated by coface and coboundary maps, which amount to inserting or deleting elements of the orderings. (See simplicial set for relations of these maps.)

A simplicial object is a presheaf on $\Delta$ , that is a contravariant functor from $\Delta$ to another category. For instance, simplicial sets are contravariant with codomain category the category of sets. A cosimplicial object is defined similarly as a covariant functor originating from $\Delta$ .

An algebraic definition identifies $\Delta$ as the freely generated monoidal category on a single monoidal generator. This description is useful for understanding how any comonoid object in a monoidal category gives rise to a simplicial object since it can then be viewed as the image of a functor from $\Delta$ to the monoidal category containing the comonoid. Similarly, this also illuminates the construction of simplicial sets from monads (and hence adjoint functors) since monads can be viewed as monoid objects in endofunctors categories.

The algebraic definition connects the ordinal category to the theory of algebraic theories: $\Delta$ is the category called the theory of monoids since it is generated by a monoidal object and a categorical product. Covariant product preserving functors from $\Delta$ are models of the theory of monoids.

References

P. G. Goerss and J. F. Jardine, Simplicial Homotopy Theory, Progress in Mathematics Vol. 174, Birkhäuser Basel-Boston-Berlin (1999) ISBN 3-7643-6064-X
John Baez's This Week's Finds in Mathematical Physics (Week 200)

@@ Line 3: / Line 3: @@
 ==Formal definition==
-The simplcial category is usually denoted by <math>\Delta</math> and is sometimes denoted by '''Ord'''. There are several equivalent descriptions of this category. <math>\Delta</math> can be described as the category of finite ordinals as objects, thought of as totally ordered sets, and order preserving functions as morphisms. The category is generated by coface and coboundary maps, which amount to inserting or deleting elements of the orderings. (See [[simplicial set]] for relations of these maps.)
+The simplicial category is usually denoted by <math>\Delta</math> and is sometimes denoted by '''Ord'''. There are several equivalent descriptions of this category. <math>\Delta</math> can be described as the category of finite ordinals as objects, thought of as totally ordered sets, and order preserving functions as [[morphisms]]. The category is generated by coface and coboundary maps, which amount to inserting or deleting elements of the orderings. (See [[simplicial set]] for relations of these maps.)
 A [[simplicial object]] is a [[presheaf]] on <math>\Delta</math>, that is a contravariant functor from <math>\Delta</math> to another category. For instance, [[simplicial set|simplicial sets]] are contravariant with codomain category the category of sets. A cosimplicial object is defined similarly as a covariant functor originating from <math>\Delta</math>.