An Entity of Type: television station, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo:abstract
  • 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. (en)
dbo:wikiPageID
  • 29190294 (xsd:integer)
dbo:wikiPageLength
  • 1542 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1065643659 (xsd:integer)
dbo:wikiPageWikiLink
dbp:id
  • simplicially+enriched+category (en)
dbp:title
  • Simplicially enriched category (en)
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • 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. (en)
rdfs:label
  • Simplicially enriched category (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License