@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:-W6K3H4TP-4
  skos:altLabel "†-catégorie"@fr, "catégorie involutive"@fr, "catégorie dague"@fr, "dagger category"@en, "involutive category"@en ;
  skos:prefLabel "catégorie à involution"@fr, "category with involution"@en ;
  skos:broader psr:-J9ZL1KM4-H ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Dagger_category>, <https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_%C3%A0_involution> ;
  skos:definition """En mathématiques, une †-catégorie (catégorie dague, également appelée catégorie involutive ou catégorie à involution) est une catégorie dotée d'une certaine structure appelée dague ou involution. Le nom de catégorie dague a été inventée par Selinger. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_%C3%A0_involution">https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_%C3%A0_involution</a>)"""@fr, """In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Peter Selinger. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Dagger_category">https://en.wikipedia.org/wiki/Dagger_category</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  dc:modified "2023-08-24"^^xsd:date ;
  dc:created "2023-08-24"^^xsd:date .

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