“Simplex category”的意思、由来-开放百科全书

词条

Simplex category

释义

Formal definition
Augmented simplex category
See also
References
External links

In mathematics, the simplex category (or simplicial category or nonempty finite ordinal category) is the category of non-empty finite ordinals and order preserving maps. It is used to define simplicial and cosimplicial objects.

Formal definition

The simplex category is usually denoted by . There are several equivalent descriptions of this category. can be described as the category of non-empty finite ordinals as objects, thought of as totally ordered sets, and order-preserving functions as morphisms. The objects are commonly denoted (so that is the ordinal ). The category is generated by coface and codegeneracy 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 , that is a contravariant functor from to another category. For instance, simplicial sets are contravariant with the codomain category being the category of sets. A cosimplicial object is defined similarly as a covariant functor originating from .

Augmented simplex category

The augmented simplex category, denoted by is the category of all finite ordinals and order-preserving maps, thus , where . Accordingly, this category might also be denoted FinOrd. The augmented simplex category is occasionally referred to as algebraists' simplex category and the above version is called topologists' simplex category.

A contravariant functor defined on is called an augmented simplicial object and a covariant functor out of is called an augmented cosimplicial object; when the codomain category is the category of sets, for example, these are called augmented simplicial sets and augmented cosimplicial sets respectively.

The augmented simplex category, unlike the simplex category, admits a natural monoidal structure. The monoidal product is given by concatenation of linear orders, and the unit is the empty ordinal (the lack of a unit prevents this from qualifying as a monoidal structure on ). In fact, is the monoidal category freely generated by a single monoid object, given by with the unique possible unit and multiplication. 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 to the monoidal category containing the comonoid; by forgetting the augmentation we obtain a simplicial object. Similarly, this also illuminates the construction of simplicial sets from monads (and hence adjoint functors) since monads can be viewed as monoid objects in endofunctor categories.

The augmented simplex category provides a simple example of a compact closed category.

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}}

External links

{{nlab|id=simplex+category|title=Simplex category}}
http://mathoverflow.net/questions/171920/whats-special-about-the-simplex-category

5 : Algebraic topology|Homotopy theory|Simplicial sets|Categories in category theory|Free algebraic structures

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Formal definition

Augmented simplex category

See also

References

External links