This HTML5 document contains 30 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/
n15http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n9http://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/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Cosmos_(théorie_des_catégories)
rdfs:label
Cosmos (théorie des catégories) Cosmos (category theory)
rdfs:comment
En mathématiques, et plus spécifiquement en théorie des catégories, un cosmos (au pluriel cosmoi) est une catégorie monoïdale symétrique fermée qui est bicomplète. La notion a été introduite dans les années 1970 et est attribuée au mathématicien français . Elle généralise en un sens la construction d'un topos (qui est un modèle pour une théorie des ensembles) afin de faciliter l'étude des catégories enrichies (et des catégories d'ordre supérieur). Les cosmoi ainsi définis (« au sens de Bénabou ») sont utilisés comme base sur laquelle enrichir une catégorie.
owl:sameAs
dbr:Cosmos_(category_theory) wikidata:Q25203218 n15:013d7l0q
dbo:wikiPageID
12211290
dbo:wikiPageRevisionID
154356119
dbo:wikiPageWikiLink
dbpedia-fr:Catégorie_cartésienne dbpedia-fr:2-catégorie dbpedia-fr:Ensemble_simplicial dbpedia-fr:Catégorie_des_ensembles dbpedia-fr:Jean_Bénabou dbpedia-fr:Théorie_des_catégories dbpedia-fr:Catégorie_enrichie dbpedia-fr:Mathématiques category-fr:Théorie_des_catégories dbpedia-fr:Préfaisceau_(théorie_des_catégories) dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Catégorie_monoïdale dbpedia-fr:Topos_(mathématiques)
dbo:wikiPageLength
2759
dct:subject
category-fr:Théorie_des_catégories
prop-fr:wikiPageUsesTemplate
n9:Palette_Théorie_des_catégories n9:Voir_homonymes n9:, n9:Portail
prov:wasDerivedFrom
wikipedia-fr:Cosmos_(théorie_des_catégories)?oldid=154356119&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Cosmos_(théorie_des_catégories)
dbo:abstract
En mathématiques, et plus spécifiquement en théorie des catégories, un cosmos (au pluriel cosmoi) est une catégorie monoïdale symétrique fermée qui est bicomplète. La notion a été introduite dans les années 1970 et est attribuée au mathématicien français . Elle généralise en un sens la construction d'un topos (qui est un modèle pour une théorie des ensembles) afin de faciliter l'étude des catégories enrichies (et des catégories d'ordre supérieur). Les cosmoi ainsi définis (« au sens de Bénabou ») sont utilisés comme base sur laquelle enrichir une catégorie.