Une situation de foncteurs adjoints entre Set et Cat

HoTT science internelle

Cette page :

https://math.stackexchange.com/questions/3230453/left-adjoint-for-forgetful-functor

Répond à la question que je me posais ici à la fin de l’article :

https://espacehott.wordpress.com/2022/03/10/cochetbrunschvicg-genese-du-plan-vital-ontologique/

U est le foncteur d’oubli allant de Cat vers Set, associant à une catégorie l’ensemble obtenu en oubliant la structure.

F est le foncteur adjoint à gauche de U

View original post

This entry was posted in Philosophie. Bookmark the permalink.