dbo:abstract
|
- In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object . The concept is also referred to as Grothendieck—Verdier category in view of its relation to the notion of Verdier duality. (en)
- En mathématiques, une catégorie *-autonome (lire « étoile-autonome » ou « star-autonome ») est une structure étudiée en théorie des catégories. Il s'agit plus précisément d'une catégorie qui possède un objet dit « dualisant » et qui vérifie un jeu d'axiomes précis. Cette structure rend compte de plusieurs situations essentielles qui apparaissent naturellement en logique mathématique, en topologie, en informatique théorique et en physique théorique et a été introduite par le mathématicien américain (en) en 1979. Le terme « *-autonome » fait écho à la notion de (en), aussi dite « autonome », qui est une catégorie où la notion de dual peut être définie. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6499 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object . The concept is also referred to as Grothendieck—Verdier category in view of its relation to the notion of Verdier duality. (en)
- En mathématiques, une catégorie *-autonome (lire « étoile-autonome » ou « star-autonome ») est une structure étudiée en théorie des catégories. Il s'agit plus précisément d'une catégorie qui possède un objet dit « dualisant » et qui vérifie un jeu d'axiomes précis. Cette structure rend compte de plusieurs situations essentielles qui apparaissent naturellement en logique mathématique, en topologie, en informatique théorique et en physique théorique et a été introduite par le mathématicien américain (en) en 1979. (fr)
|
rdfs:label
|
- *-autonomous category (en)
- Catégorie *-autonome (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |