Le lemme de Yoneda et la « connaissance par limite » chez Lacuria

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Le lemme de Yoneda est un des premiers résultats significatifs de la théorie des catégories, tous les manuels d’introduction le présentent et insistent sur son importance mais Emily Riehl est celle qui va le plus loin en déclarant dans son livre « Category theory in context » Page 50 (de l’édition Dover)

http://www.math.jhu.edu/~eriehl/context.pdf

« The Yoneda lemma is arguably the most important result in category theory »

L’un des premiers et les plus simples, mais l’un des plus importants résultats, dans toute la théorie des catégories, et donc de toutes les mathématiques. Il est associé à la notion de « propriété universelle » qui est le thème privilégié de la théorie des catégories.

Que dit techniquement le lemme « élémentaire mais profond et central » ?

https://fr.m.wikipedia.org/wiki/Lemme_de_Yoneda

https://ncatlab.org/nlab/show/Yoneda+lemma

A tout objet A de La catégories C on associe un foncteur dirigé de C vers Set par :

hA ( X) = Hom ( A,X)

hA (f)…

Voir l’article original 777 mots de plus

Publicités