@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:-TBD2GCB7-P
  skos:definition """In mathematics, a <b>monoidal category</b> (or <b>tensor category</b>) is a category <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbf {C} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="bold">C</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbf {C} }</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/11de80478fce9090e43eed19100b37cc841661e8" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.931ex; height:2.176ex;" alt="\\\\mathbf C"></span> equipped with a bifunctor
         <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\otimes :\\\\mathbf {C} \\	imes \\\\mathbf {C} \\	o \\\\mathbf {C} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mo>⊗<!-- ⊗ --></mo>
         <mo>:</mo>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="bold">C</mi>
         </mrow>
         <mo>×<!-- × --></mo>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="bold">C</mi>
         </mrow>
         <mo stretchy="false">→<!-- → --></mo>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="bold">C</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\otimes :\\\\mathbf {C} \\	imes \\\\mathbf {C} \\	o \\\\mathbf {C} }</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e2f3af2b68a14a3a775cdb9bcd6d04a01f6a40e2" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:15.993ex; height:2.343ex;" alt="{\\\\displaystyle \\\\otimes :\\\\mathbf {C} \\	imes \\\\mathbf {C} \\	o \\\\mathbf {C} }"></span></dd></dl> that is associative up to a natural isomorphism, and an object <i>I</i> that is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagrams commute. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Monoidal_category">https://en.wikipedia.org/wiki/Monoidal_category</a>)"""@en, """En mathématiques, une catégorie monoïdale est une catégorie munie d'un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s'agit de l'analogue, au niveau des catégories, de la notion de monoïde, c'est-à-dire que le bifoncteur joue le rôle d'une sorte de multiplication pour les objets de la catégorie. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_mono%C3%AFdale">https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_mono%C3%AFdale</a>)"""@fr ;
  a skos:Concept ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_mono%C3%AFdale>, <https://en.wikipedia.org/wiki/Monoidal_category> ;
  skos:narrower psr:-N89VZWDN-X ;
  skos:broader psr:-J9ZL1KM4-H ;
  skos:altLabel "tensor category"@en ;
  skos:prefLabel "catégorie monoïdale"@fr, "monoidal category"@en ;
  dc:created "2023-08-24"^^xsd:date ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:inScheme psr: .

psr: a skos:ConceptScheme .
psr:-N89VZWDN-X
  skos:prefLabel "*-autonomous category"@en, "catégorie *-autonome"@fr ;
  a skos:Concept ;
  skos:broader psr:-TBD2GCB7-P .

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