@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: a skos:ConceptScheme .
psr:-J9ZL1KM4-H
  skos:prefLabel "théorie des catégories"@fr, "category theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-G03FKLMF-T .

psr:-G03FKLMF-T
  skos:exactMatch <https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_d%C3%A9riv%C3%A9e>, <https://en.wikipedia.org/wiki/Derived_category> ;
  skos:prefLabel "derived category"@en, "catégorie dérivée"@fr ;
  skos:broader psr:-J9ZL1KM4-H ;
  skos:inScheme psr: ;
  skos:definition """La catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 4½, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la correspondance de Riemann-Hilbert qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_d%C3%A9riv%C3%A9e">https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_d%C3%A9riv%C3%A9e</a>)"""@fr, """In mathematics, the derived category <i>D</i>(<i>A</i>) of an abelian category <i>A</i> is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on <i>A</i>. The construction proceeds on the basis that the objects of <i>D</i>(<i>A</i>) should be chain complexes in <i>A</i>, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Derived_category">https://en.wikipedia.org/wiki/Derived_category</a>)"""@en ;
  dc:created "2023-08-23"^^xsd:date ;
  dc:modified "2023-08-23"^^xsd:date ;
  a skos:Concept .