@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:-FB80M997-T
  skos:prefLabel "directed graph"@en, "graphe orienté"@fr ;
  a skos:Concept ;
  skos:narrower psr:-KKK654BJ-F .

psr:-S96SSHLF-V
  skos:prefLabel "théorie des représentations"@fr, "representation theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-KKK654BJ-F .

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

psr: a skos:ConceptScheme .
psr:-KKK654BJ-F
  dc:modified "2023-08-24"^^xsd:date ;
  skos:inScheme psr: ;
  skos:broader psr:-J9ZL1KM4-H, psr:-S96SSHLF-V, psr:-FB80M997-T ;
  skos:prefLabel "quiver"@en, "carquois"@fr ;
  dc:created "2023-08-24"^^xsd:date ;
  skos:definition """In mathematics, especially representation theory, a quiver is another name for a multidigraph; that is, a directed graph where loops and multiple arrows between two vertices are allowed. Quivers are commonly used in representation theory: a representation <i>V</i> of a quiver assigns a vector space <i>V</i>(<i>x</i>) to each vertex <i>x</i> of the quiver and a linear map <i>V</i>(<i>a</i>) to each arrow <i>a</i>. In category theory, a quiver can be understood to be the underlying structure of a category, but without composition or a designation of identity morphisms. That is, there is a forgetful functor from Cat (the category of categories) to Quiv (the category of multidigraphs). Its left adjoint is a free functor which, from a quiver, makes the corresponding free category. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Quiver_(mathematics)">https://en.wikipedia.org/wiki/Quiver_(mathematics)</a>)"""@en, """Un carquois est une collection d'arcs joignant des couples de points. En ce sens, il s'agit d'un graphe orienté, mais la notion intervient en physique théorique ainsi qu'en théorie des représentations, des groupes et des catégories de manière naturelle. En effet, une catégorie est un carquois doté d'une structure supplémentaire : nommément la présence d'identités et de compositions. On parle donc de carquois lorsque l'on souhaite évoquer ce contexte catégorique (ou de représentation), plutôt que de (multi-di-)graphe orienté. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Carquois_(th%C3%A9orie_des_cat%C3%A9gories)">https://fr.wikipedia.org/wiki/Carquois_(th%C3%A9orie_des_cat%C3%A9gories)</a>)"""@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Carquois_(th%C3%A9orie_des_cat%C3%A9gories)>, <https://en.wikipedia.org/wiki/Quiver_(mathematics)> ;
  a skos:Concept .