In mathematics, a simplicially enriched category, is a
category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
* Category of being
* ''Categories'' (Aristotle)
* Category (Kant)
* Categories (Peirce) ...
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.
References
*
*
External links
*
{{Category theory
Category theory