#HoTT André Joyal correspondance des notions catégoriques et de celles de la théorie homotopique des types

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

J’ai déjà dit que c’est la grande vertu des travaux d’André Joyal, qui est un des plus grands théoriciens des catégories et des Topoi :

André Joyal : #HoTT and category theory

éclairer pour les étudiants formés au langage de la théorie des catégories les notations quelquefois abstruses de la théorie homotopique des types ( HoTT = Homotopy type theory)

Ces cours remplissent parfaitement cette tâche :

#HoTT : le cours d’André Joyal en cinq parties sur les tribus

Ainsi la partie 2:

Click to access download

Un clan (défini page 5) est une catégorie munie d’une classe F de morphismes ayant certaines propriétés : les flèches de cee classe F sont appelées fibrations.

Une fibration peut être vue (page 8) comme une famille d’objets du clan (de types) .
Une fibration est un morphisme: E ↠ B

La fibre de cette fibration à l’objet x de B ( qui est la…

View original post 244 more words