http://dbpedia.org/ontology/abstract
|
In category theory, a branch of mathematic … In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions. It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.tain presheaf on the category of opetopes.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://ncatlab.org/nlab/show/opetope +
|
http://dbpedia.org/ontology/wikiPageID
|
56059964
|
http://dbpedia.org/ontology/wikiPageLength
|
1300
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1108240125
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Higher-order_operad +
, http://dbpedia.org/resource/Polytope +
, http://dbpedia.org/resource/Category:Category_theory +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Operation_%28algebra%29 +
, http://dbpedia.org/resource/Substitution_%28algebra%29 +
, http://dbpedia.org/resource/Shape +
, http://dbpedia.org/resource/Weak_n-category +
, http://dbpedia.org/resource/Presheaf_%28category_theory%29 +
, http://dbpedia.org/resource/John_C._Baez +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Categorytheory-stub +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Category_theory +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Opetope?oldid=1108240125&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Opetope +
|
owl:sameAs |
http://dbpedia.org/resource/Opetope +
, http://www.wikidata.org/entity/Q48970630 +
, https://global.dbpedia.org/id/4YC9j +
|
rdfs:comment |
In category theory, a branch of mathematic … In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions. It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.tain presheaf on the category of opetopes.
|
rdfs:label |
Opetope
|