@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-J9ZL1KM4-H
  skos:prefLabel "théorie des catégories"@fr, "category theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-J792M51V-H .

psr: a skos:ConceptScheme .
psr:-BZGTGW83-D
  skos:prefLabel "end"@en, "fin"@fr ;
  a skos:Concept ;
  skos:related psr:-J792M51V-H .

psr:-J792M51V-H
  skos:prefLabel "Kan extension"@en, "extension de Kan"@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Kan_extension>, <https://fr.wikipedia.org/wiki/Extension_de_Kan> ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:related psr:-PTNKBQGC-W, psr:-BZGTGW83-D ;
  dc:created "2023-08-24"^^xsd:date ;
  skos:broader psr:-J9ZL1KM4-H ;
  skos:definition """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 Daniel Kan, 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. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Extension_de_Kan">https://fr.wikipedia.org/wiki/Extension_de_Kan</a>)"""@fr, """Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960. An early use of (what is now known as) a Kan extension from 1956 was in homological algebra to compute derived functors. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Kan_extension">https://en.wikipedia.org/wiki/Kan_extension</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: .

psr:-PTNKBQGC-W
  skos:prefLabel "adjoint functor"@en, "foncteur adjoint"@fr ;
  a skos:Concept ;
  skos:related psr:-J792M51V-H .