| 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 | |
