| dbo:abstract
|
- In the area of mathematics known as category theory, a cosmos is a symmetric closed monoidal category that is complete and cocomplete. Enriched category theory is often considered over a cosmos. (en)
- 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 Jean Bénabou. 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. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 512 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In the area of mathematics known as category theory, a cosmos is a symmetric closed monoidal category that is complete and cocomplete. Enriched category theory is often considered over a cosmos. (en)
- 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 Jean Bénabou. 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. (fr)
|
| rdfs:label
|
- Cosmos (category theory) (en)
- Cosmos (théorie des catégories) (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
