Simplicially enriched category

From HandWiki
Short description: Category enriched over the category of simplicial sets

In mathematics, a simplicially enriched category, is a category enriched over the category of simplicial sets. 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

  • Goerss, Paul; Jardine, John (2009), Simplicial Homotopy Theory, Progress in Mathematics, 174, Birkhäuser Basel, ISBN 978-3-7643-6064-1 
  • Lurie, Jacob (2009), Higher topos theory, Annals of Mathematics Studies, 170, Princeton University Press, ISBN 978-0-691-14049-0 

External links