Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Opetope
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Geometric shape used in one formalization of ∞-categories
Property
Value
dbo:
description
geometric shape used in one formalization of ∞-categories
(en)
dbo:
wikiPageExternalLink
https://ncatlab.org/nlab/show/opetope
dbo:
wikiPageWikiLink
dbr
:Category_theory
dbc
:Category_theory
dbr
:Presheaf_(category_theory)
dbr
:John_C._Baez
dbr
:Shape
dbr
:Higher-order_operad
dbr
:Substitution_(algebra)
dbr
:Polytope
dbr
:Weak_n-category
dbr
:Operation_(algebra)
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Cite_journal
dbt
:Categorytheory-stub
dbt
:Citation
dbt
:Short_description
dct:
subject
dbc
:Category_theory
rdfs:
label
Opetope
(en)
owl:
sameAs
wikidata
:Opetope
dbpedia-global
:Opetope
prov:
wasDerivedFrom
wikipedia-en
:Opetope?oldid=1296377307&ns=0
foaf:
homepage
http://ncatlab.org
foaf:
isPrimaryTopicOf
wikipedia-en
:Opetope
is
dbo:
wikiPageWikiLink
of
dbr
:Timeline_of_category_theory_and_related_mathematics
dbr
:Higher-order_operad
dbr
:Polytope
dbr
:Weak_n-category
is
foaf:
primaryTopic
of
wikipedia-en
:Opetope
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International