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

psr:-RS9D4FLP-X
  skos:prefLabel "algèbre associative d'homotopie"@fr, "homotopy associative algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-CTGXK4K4-T
  skos:related psr:-LMDZ11CG-L ;
  skos:narrower psr:-WJ8N2GR1-6, psr:-JN8TQDPD-5, psr:-ZGSVR05X-7, psr:-LH4N3R35-S, psr:-T8Z45G5C-J, psr:-X6VNJ7RP-M, psr:-SNPMVDR9-8, psr:-BX3NBRCV-X, psr:-RS9D4FLP-X, psr:-CCS3CWV7-2 ;
  skos:prefLabel "homotopy theory"@en, "théorie de l'homotopie"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_l%27homotopie>, <https://en.wikipedia.org/wiki/Homotopy_theory> ;
  skos:broader psr:-FN7C5N2G-Z ;
  skos:inScheme psr: ;
  a skos:Concept ;
  skos:definition """In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A<sup>1</sup> homotopy theory) and category theory (specifically the study of higher categories). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Homotopy_theory">https://en.wikipedia.org/wiki/Homotopy_theory</a>)"""@en, """La théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A∞. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_l%27homotopie">https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_l%27homotopie</a>)"""@fr .

psr:-CCS3CWV7-2
  skos:prefLabel "espace des lacets"@fr, "loop space"@en ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-JN8TQDPD-5
  skos:prefLabel "fibration"@en, "fibration"@fr ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

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

psr:-LH4N3R35-S
  skos:prefLabel "cofibration"@en, "cofibration"@fr ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-BX3NBRCV-X
  skos:prefLabel "covering space"@en, "revêtement"@fr ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

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

psr:-LMDZ11CG-L
  skos:prefLabel "algèbre homotopique"@fr, "homotopical algebra"@en ;
  a skos:Concept ;
  skos:related psr:-CTGXK4K4-T .

psr:-T8Z45G5C-J
  skos:prefLabel "double groupoid"@en, "double groupoïde"@fr ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-ZGSVR05X-7
  skos:prefLabel "H-space"@en, "H-espace"@fr ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-SNPMVDR9-8
  skos:prefLabel "difféotopie"@fr, "mapping class group"@en ;
  a skos:Concept ;
  skos:broader psr:-CTGXK4K4-T .

psr:-FN7C5N2G-Z
  skos:prefLabel "topologie algébrique"@fr, "algebraic topology"@en ;
  a skos:Concept ;
  skos:narrower psr:-CTGXK4K4-T .