@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:-QD2Z0GS6-L
  skos:exactMatch <https://fr.wikipedia.org/wiki/Foncteur>, <https://en.wikipedia.org/wiki/Functor> ;
  dc:created "2023-07-21"^^xsd:date ;
  skos:narrower psr:-W0HCDHMJ-K, psr:-B1PDS1FC-8, psr:-J53GDTZ2-B, psr:-QWPGSZ0X-R, psr:-PTNKBQGC-W, psr:-VQC0V2MQ-G, psr:-W53S2X6K-L, psr:-BZGTGW83-D, psr:-GQG05F74-G, psr:-SJTZ9630-M ;
  skos:prefLabel "foncteur"@fr, "functor"@en ;
  skos:definition """In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Functor">https://en.wikipedia.org/wiki/Functor</a>)"""@en, """Dans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Foncteur">https://fr.wikipedia.org/wiki/Foncteur</a>)"""@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H ;
  dc:modified "2023-07-21"^^xsd:date ;
  skos:inScheme psr: .

psr:-B1PDS1FC-8
  skos:prefLabel "derived functor"@en, "foncteur dérivé"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-W0HCDHMJ-K
  skos:prefLabel "foncteur Hom"@fr, "Hom functor"@en ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-SJTZ9630-M
  skos:prefLabel "presheaf with transfers"@en, "préfaisceau avec transferts"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-J53GDTZ2-B
  skos:prefLabel "essentially surjective functor"@en, "foncteur essentiellement surjectif"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-QWPGSZ0X-R
  skos:prefLabel "exact functor"@en, "foncteur exact"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-GQG05F74-G
  skos:prefLabel "2-foncteur"@fr, "2-functor"@en ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

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

psr:-W53S2X6K-L
  skos:prefLabel "presheaf"@en, "préfaisceau"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr: a skos:ConceptScheme .
psr:-VQC0V2MQ-G
  skos:prefLabel "foncteur représentable"@fr, "representable functor"@en ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-BZGTGW83-D
  skos:prefLabel "end"@en, "fin"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

psr:-PTNKBQGC-W
  skos:prefLabel "adjoint functor"@en, "foncteur adjoint"@fr ;
  a skos:Concept ;
  skos:broader psr:-QD2Z0GS6-L .

