About: Cosmos (category theory)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Cosmos (category theory) (en)
  • Cosmos (théorie des catégories) (fr)
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. (fr)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
has 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. (fr)
is dbo:wikiPageWikiLink of
is Wikipage disambiguates of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software