Simplicial Category (other)
In mathematics, simplicial category may refer to: * Simplex category, the category of finite ordinals and order-preserving functions * Simplicially enriched category, a category enriched over the category of simplicial sets * Simplicial object In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined a ...

Simplex Category
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 \Delta. There are several equivalent descriptions of this category. \Delta can be described as the category of ''non-empty finite ordinals'' as objects, thought of as totally ordered sets, and ''(non-strictly) order-preserving functions'' as morphisms. The objects are commonly denoted = \ (so that is the ordinal n+1 ). 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 \Delta, that is a contravariant functor from \Delta to another category. For instance, simplicial sets are contravariant with the codomain category being the catego ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Simplicially Enriched Category
In mathematics, a simplicially enriched category, is a category enriched over the category of simplicial set In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined ...s. Simplicially enriched categories are often also called, more ambiguously, simplicial categories; the latter term however also applies to simplicial objects in Cat (the category of small categories). Simplicially enriched categories can, however, be identified with simplicial objects in Cat whose object part is constant, or more precisely, whose all face and degeneracy maps are bijective on objects. Simplicially enriched categories can model (∞, 1)-categories, but the dictionary has to be carefully built. Namely many notions, limits for example, are different from the limits in the sense of enriched category theory. Refe ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]