#HoTT André Joyal : la notion de typos

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

Voir cet ancien article :

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/

et la note de Joyal :

http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf

Page 15 sur 52 définition du «  push forward functor » associé à une flèche f : A ? B dans une catégorie C

Le foncteur est noté f!

Et il est dirigé de la slice category C/A vers C/B ( c’est à dire les catégories dont les objets sont les morphismes de C ayant pour cible A ou B)

selon la formule :

f!( X,p) = (X, fp)

( voir le carré Page 15)

Page 17:

Ce foncteur f! a un foncteur adjoint à droite :

f*: C/B ? C/A

Tout ceci étant associé rappelons le à un morphisme f: A ? B dans la catégorie C. Ce foncteur est appelé foncteur changement de base (« base change ») et (voir le diagramme page 17) il envoie un morphisme p sur un morphisme…

Voir l’article original 653 mots de plus