En mathématiques, et plus spécifiquement en théorie des catégories, une catégorie fermée (ou close) est une catégorie d'un type particulier. Elles ont été introduites en 1965 par Samuel Eilenberg et , formalisant et clarifiant des efforts antérieurs de Mac Lane, , Kelly et . L'adjectif fermé apparaît ailleurs en théorie des catégories, notamment dans les catégories cartésiennes fermées, avec un sens a priori différent.

Property Value
dbo:abstract
  • En mathématiques, et plus spécifiquement en théorie des catégories, une catégorie fermée (ou close) est une catégorie d'un type particulier. Elles ont été introduites en 1965 par Samuel Eilenberg et , formalisant et clarifiant des efforts antérieurs de Mac Lane, , Kelly et . En général, les morphismes d'une catégorie qui relient deux objets et forment seulement un ensemble, noté . Il peut donc s'agir d'un objet « extérieur » à la catégorie. Une catégorie est fermée lorsqu'il existe un foncteur « interne », c'est-à-dire qui peut lui-même être considéré comme un objet de la catégorie en question. L'adjectif fermé apparaît ailleurs en théorie des catégories, notamment dans les catégories cartésiennes fermées, avec un sens a priori différent. (fr)
  • En mathématiques, et plus spécifiquement en théorie des catégories, une catégorie fermée (ou close) est une catégorie d'un type particulier. Elles ont été introduites en 1965 par Samuel Eilenberg et , formalisant et clarifiant des efforts antérieurs de Mac Lane, , Kelly et . En général, les morphismes d'une catégorie qui relient deux objets et forment seulement un ensemble, noté . Il peut donc s'agir d'un objet « extérieur » à la catégorie. Une catégorie est fermée lorsqu'il existe un foncteur « interne », c'est-à-dire qui peut lui-même être considéré comme un objet de la catégorie en question. L'adjectif fermé apparaît ailleurs en théorie des catégories, notamment dans les catégories cartésiennes fermées, avec un sens a priori différent. (fr)
dbo:wikiPageID
  • 12213130 (xsd:integer)
dbo:wikiPageLength
  • 6739 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 156229313 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • transformation extranaturelle (fr)
  • transformation extranaturelle (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:trad
  • Extranatural transformation (fr)
  • Extranatural transformation (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, et plus spécifiquement en théorie des catégories, une catégorie fermée (ou close) est une catégorie d'un type particulier. Elles ont été introduites en 1965 par Samuel Eilenberg et , formalisant et clarifiant des efforts antérieurs de Mac Lane, , Kelly et . L'adjectif fermé apparaît ailleurs en théorie des catégories, notamment dans les catégories cartésiennes fermées, avec un sens a priori différent. (fr)
  • En mathématiques, et plus spécifiquement en théorie des catégories, une catégorie fermée (ou close) est une catégorie d'un type particulier. Elles ont été introduites en 1965 par Samuel Eilenberg et , formalisant et clarifiant des efforts antérieurs de Mac Lane, , Kelly et . L'adjectif fermé apparaît ailleurs en théorie des catégories, notamment dans les catégories cartésiennes fermées, avec un sens a priori différent. (fr)
rdfs:label
  • Catégorie fermée (fr)
  • Catégorie fermée (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of