@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-L4WPZC6S-6
  skos:prefLabel "catégorie additive"@fr, "additive category"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-P4VMDJPB-V
  skos:prefLabel "espace fonctionnel"@fr, "function space"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-KKK654BJ-F
  skos:prefLabel "carquois"@fr, "quiver"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-X6VNJ7RP-M
  skos:prefLabel "complexe cotangent"@fr, "cotangent complex"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:
  a skos:ConceptScheme ;
  skos:hasTopConcept psr:-J9ZL1KM4-H .

psr:-PWGX16JX-6
  skos:prefLabel "algèbre de Hopf"@fr, "Hopf algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-N7KPW52H-L
  skos:prefLabel "objet H"@fr, "H-object"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-J9ZL1KM4-H
  skos:prefLabel "category theory"@en, "théorie des catégories"@fr ;
  skos:narrower psr:-WJ8N2GR1-6, psr:-WHZKH3TW-6, psr:-G03FKLMF-T, psr:-W6K3H4TP-4, psr:-TBD2GCB7-P, psr:-GL1SM8QV-S, psr:-XH011L63-1, psr:-P4VMDJPB-V, psr:-N7KPW52H-L, psr:-FWPQ91MF-V, psr:-L4WPZC6S-6, psr:-QPXB9ZTD-L, psr:-PWGX16JX-6, psr:-K5HZ6T5F-W, psr:-L2SFSR67-Q, psr:-X6VNJ7RP-M, psr:-XG52C72R-G, psr:-ZZ4QS1GJ-Z, psr:-KKK654BJ-F, psr:-R968S0MQ-B, psr:-RZBS2WDH-F, psr:-R91NJ70S-L, psr:-J792M51V-H, psr:-BGZ75P9J-H, psr:-QD2Z0GS6-L, psr:-PN7T60J5-4 ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_cat%C3%A9gories>, <https://en.wikipedia.org/wiki/Category_theory> ;
  skos:topConceptOf psr: ;
  a skos:Concept ;
  skos:definition """Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in almost all areas of mathematics. In particular, numerous constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Category_theory">https://en.wikipedia.org/wiki/Category_theory</a>)"""@en, """La théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice. « La théorie des catégories commence avec l'observation que de nombreuses propriétés des systèmes mathématiques peuvent être unifiées et simplifiées par des dessins avec des flèches. » 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_cat%C3%A9gories">https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_cat%C3%A9gories</a>)"""@fr ;
  skos:inScheme psr: .

psr:-R91NJ70S-L
  skos:prefLabel "diagramme"@fr, "diagram"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-WJ8N2GR1-6
  skos:prefLabel "groupoid"@en, "groupoïde"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-G03FKLMF-T
  skos:prefLabel "catégorie dérivée"@fr, "derived category"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-TBD2GCB7-P
  skos:prefLabel "monoidal category"@en, "catégorie monoïdale"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-W6K3H4TP-4
  skos:prefLabel "category with involution"@en, "catégorie à involution"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-GL1SM8QV-S
  skos:prefLabel "catégorie concrète"@fr, "concrete category"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-J792M51V-H
  skos:prefLabel "extension de Kan"@fr, "Kan extension"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-L2SFSR67-Q
  skos:prefLabel "derivator"@en, "dérivateur"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-XH011L63-1
  skos:prefLabel "groupe de Grothendieck"@fr, "Grothendieck group"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-QD2Z0GS6-L
  skos:prefLabel "functor"@en, "foncteur"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-XG52C72R-G
  skos:prefLabel "Cartesian closed category"@en, "catégorie cartésienne"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-QPXB9ZTD-L
  skos:prefLabel "Ore condition"@en, "anneau d'Ore"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-FWPQ91MF-V
  skos:prefLabel "graph of groups"@en, "graphe de groupes"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-R968S0MQ-B
  skos:prefLabel "F-coalgebra"@en, "F-coalgèbre"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-BGZ75P9J-H
  skos:prefLabel "localisation de catégorie"@fr, "localization of a category"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-WHZKH3TW-6
  skos:prefLabel "morphism"@en, "morphisme"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-ZZ4QS1GJ-Z
  skos:prefLabel "abstract non-sens"@fr, "abstract nonsense"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-K5HZ6T5F-W
  skos:prefLabel "higher category theory"@en, "théorie des catégories supérieures"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-PN7T60J5-4
  skos:prefLabel "category of sets"@en, "catégorie des ensembles"@fr ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .

psr:-RZBS2WDH-F
  skos:prefLabel "lemme de Yoneda"@fr, "Yoneda lemma"@en ;
  a skos:Concept ;
  skos:broader psr:-J9ZL1KM4-H .