Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien (en), qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies. c'est-à-dire qui étend le domaine de F selon p.

Property Value
dbo:abstract
  • Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien (en), qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies. L'idée est qu'étant donnés un foncteur , et un foncteur , une extension de Kan de F le long de p est le « meilleur » foncteur qui fait commuter le diagramme c'est-à-dire qui étend le domaine de F selon p. (fr)
  • Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien (en), qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies. L'idée est qu'étant donnés un foncteur , et un foncteur , une extension de Kan de F le long de p est le « meilleur » foncteur qui fait commuter le diagramme c'est-à-dire qui étend le domaine de F selon p. (fr)
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7130165 (xsd:integer)
dbo:wikiPageLength
  • 3770 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 168268735 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2004 (xsd:integer)
prop-fr:fr
  • nLab (fr)
  • Daniel Kan (fr)
  • nLab (fr)
  • Daniel Kan (fr)
prop-fr:isbn
  • 0 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Cambridge (fr)
  • Cambridge (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Borceux (fr)
  • Borceux (fr)
prop-fr:pagesTotales
  • 345 (xsd:integer)
prop-fr:prénom
  • Francis (fr)
  • Francis (fr)
prop-fr:titre
  • Handbook of Categorical Algebra 1 (fr)
  • Handbook of Categorical Algebra 1 (fr)
prop-fr:trad
  • nLab (fr)
  • Daniel Kan (fr)
  • nLab (fr)
  • Daniel Kan (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Cambridge University Press (fr)
  • Cambridge University Press (fr)
dct:subject
rdfs:comment
  • Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien (en), qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies. c'est-à-dire qui étend le domaine de F selon p. (fr)
  • Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien (en), qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies. c'est-à-dire qui étend le domaine de F selon p. (fr)
rdfs:label
  • Extension de Kan (fr)
  • Kan extension (en)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of