This HTML5 document contains 99 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n10http://www.paultaylor.eu/stable/
n7http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n8http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n17https://arxiv.org/abs/math/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Catégorie_*-autonome
rdfs:label
Catégorie *-autonome
rdfs:comment
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.
owl:sameAs
n7:0b3_sz dbr:*-autonomous_category wikidata:Q4544973
dbo:wikiPageID
7140024
dbo:wikiPageRevisionID
182902440
dbo:wikiPageWikiLink
dbpedia-fr:Informatique_théorique dbpedia-fr:Espace_topologique dbpedia-fr:Catégorie_monoïdale dbpedia-fr:Catégorie_monoïdale_tressée dbpedia-fr:Topologie dbpedia-fr:Cambridge_University_Press dbpedia-fr:Catégorie_enrichie dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Double_négation_(linguistique) dbpedia-fr:Mathématiques dbpedia-fr:Espace_vectoriel dbpedia-fr:Physique_théorique dbpedia-fr:Corps_(mathématiques) dbpedia-fr:Logique_linéaire dbpedia-fr:Foncteur_Hom dbpedia-fr:Logique_mathématique dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Logique_intuitionniste dbpedia-fr:Isomorphisme dbpedia-fr:Foncteur dbpedia-fr:Théorie_des_catégories category-fr:Théorie_des_catégories dbpedia-fr:Espace_dual dbpedia-fr:Dualité_(mathématiques) dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Programmation_concurrente
dbo:wikiPageExternalLink
n10:Proofs+Types.html n17:0301209%7Ctitre=Quantum
dbo:wikiPageLength
5883
dct:subject
category-fr:Théorie_des_catégories
prop-fr:wikiPageUsesTemplate
n8:* n8:Ouvrage n8:Palette n8:Portail n8:Article n8:Lien
prov:wasDerivedFrom
wikipedia-fr:Catégorie_*-autonome?oldid=182902440&ns=0
prop-fr:année
2004 1979 1995 1999 1991 1989
prop-fr:collection
Lecture Notes in Mathematics
prop-fr:doi
10.1007
prop-fr:fr
Michael Barr espace de cohérence Espace de Chu Catégorie rigide catégorie rigide
prop-fr:lang
en
prop-fr:langue
en
prop-fr:lienAuteur
Jean-Yves Girard
prop-fr:lireEnLigne
n10:Proofs+Types.html
prop-fr:nom
Barr Girard Taylor Lafont
prop-fr:pages
187 159 5 115
prop-fr:prénom
Jean-Yves Paul Yves Michael
prop-fr:texte
espaces de Chu espaces de cohérence Construction de Chu
prop-fr:titre
-Autonomous Categories -autonomous categories: once more around the track Non-symmetric -autonomous categories Proofs and Types -autonomous categories and linear logic
prop-fr:trad
Michael Barr Coherent space Rigid category Chu space
prop-fr:url
https://arxiv.org/abs/math/0301209|titre=Quantum categories, star autonomy, and quantum groupoids
prop-fr:volume
1 139 6 43
prop-fr:éditeur
dbpedia-fr:Cambridge_University_Press dbpedia-fr:Springer_Science+Business_Media
prop-fr:revue
Mathematical Structures in Computer Science Galois theory, Hopf algebras, and semiabelian categories Theory and Applications of Categories Theoretical Computer Science
prop-fr:numéroDansCollection
752
foaf:isPrimaryTopicOf
wikipedia-fr:Catégorie_*-autonome
dbo:abstract
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.