@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:-RZBS2WDH-F .

psr:-VQC0V2MQ-G
  skos:prefLabel "foncteur représentable"@fr, "representable functor"@en ;
  a skos:Concept ;
  skos:related psr:-RZBS2WDH-F .

psr:-RZBS2WDH-F
  skos:definition """En théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie <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 {\\\\mathcal {C}}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mrow class="MJX-TeXAtom-ORD">
         <mi class="MJX-tex-caligraphic" mathvariant="script">C</mi>
         </mrow>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {C}}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019" class="mwe-math-fallback-image-inline mw-invert" style="vertical-align: -0.338ex; width:1.239ex; height:2.176ex;" aria-hidden="true" alt="\\\\mathcal C"></span> localement petite dans une catégorie de foncteurs : les objets de <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 {\\\\mathcal {C}}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mrow class="MJX-TeXAtom-ORD">
         <mi class="MJX-tex-caligraphic" mathvariant="script">C</mi>
         </mrow>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {C}}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019" class="mwe-math-fallback-image-inline mw-invert" style="vertical-align: -0.338ex; width:1.239ex; height:2.176ex;" aria-hidden="true" alt="\\\\mathcal C"></span> sont identifiés aux foncteurs représentables, et les morphismes de <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 {\\\\mathcal {C}}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mrow class="MJX-TeXAtom-ORD">
         <mi class="MJX-tex-caligraphic" mathvariant="script">C</mi>
         </mrow>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {C}}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019" class="mwe-math-fallback-image-inline mw-invert" style="vertical-align: -0.338ex; width:1.239ex; height:2.176ex;" aria-hidden="true" alt="\\\\mathcal C"></span> à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet). Une des conséquences du lemme de Yoneda est le théorème des modèles acycliques, qui a de nombreuses utilisations en homologie et en géométrie algébrique. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Lemme_de_Yoneda">https://fr.wikipedia.org/wiki/Lemme_de_Yoneda</a>)"""@fr, """In mathematics, the Yoneda lemma is arguably the most important result in category theory. It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms). It allows the embedding of any locally small category into a category of functors (contravariant set-valued functors) defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Yoneda_lemma">https://en.wikipedia.org/wiki/Yoneda_lemma</a>)"""@en ;
  dc:created "2023-08-24"^^xsd:date ;
  skos:related psr:-VQC0V2MQ-G ;
  skos:broader psr:-J9ZL1KM4-H ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Lemme_de_Yoneda>, <https://en.wikipedia.org/wiki/Yoneda_lemma> ;
  skos:prefLabel "Yoneda lemma"@en, "lemme de Yoneda"@fr ;
  a skos:Concept ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:inScheme psr: .