This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n19https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n9https://books.google.com/
dbpedia-eshttp://es.dbpedia.org/resource/
n22http://ncatlab.org/nlab/show/
n14http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n11http://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#
n20http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Extension_de_Kan
rdfs:label
Kan extension Extension de Kan
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.
rdfs:seeAlso
n19:Kan_extension
owl:sameAs
wikidata:Q1723418 n14:07jc8w dbr:Kan_extension dbpedia-ja:Kan拡張 dbpedia-ko:칸_확대 n20:168822418 dbpedia-pt:Extensão_de_Kan dbpedia-es:Extensión_de_Kan dbpedia-de:Kan-Erweiterung
dbo:wikiPageID
7130165
dbo:wikiPageRevisionID
168268735
dbo:wikiPageWikiLink
dbpedia-fr:Foncteur_adjoint dbpedia-fr:Limite_(théorie_des_catégories) dbpedia-fr:Foncteur_représentable dbpedia-fr:Foncteur dbpedia-fr:Catégorie_de_foncteurs dbpedia-fr:Théorie_des_catégories dbpedia-fr:Catégorie_enrichie dbpedia-fr:Fin_(théorie_des_catégories) dbpedia-fr:Isomorphisme dbpedia-fr:Propriété_universelle dbpedia-fr:Lemme_de_Yoneda category-fr:Théorie_des_catégories dbpedia-fr:Objet_initial_et_objet_final
dbo:wikiPageExternalLink
n9:books%3Fid=YfzImoopB-IC&printsec=frontcover n22:Kan+extension
dbo:wikiPageLength
3770
dct:subject
category-fr:Théorie_des_catégories
prop-fr:wikiPageUsesTemplate
n11:Portail n11:Ouvrage n11:Palette n11:MacLane1 n11:Lien
prov:wasDerivedFrom
wikipedia-fr:Extension_de_Kan?oldid=168268735&ns=0
prop-fr:année
2004
prop-fr:fr
Daniel Kan nLab
prop-fr:isbn
0
prop-fr:lang
en
prop-fr:langue
en
prop-fr:lieu
Cambridge
prop-fr:lireEnLigne
n9:books%3Fid=YfzImoopB-IC&printsec=frontcover
prop-fr:nom
Borceux
prop-fr:pagesTotales
345
prop-fr:prénom
Francis
prop-fr:titre
Handbook of Categorical Algebra 1
prop-fr:trad
nLab Daniel Kan
prop-fr:éditeur
Cambridge University Press
foaf:isPrimaryTopicOf
wikipedia-fr:Extension_de_Kan
dbo:namedAfter
wikidata:Q284616
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.