André Joyal #HoTT : category theory and homotopy type theory

J’ai déjà loué ici les qualités pédagogiques , la clarté des articles d’André Joyal , notamment la lumière qu’ils apportent , en provenance de la théorie de souche catégories, à propos de la théorie homotopique des types. Le lien suivant … Continue reading André Joyal #HoTT : category theory and homotopy type theory

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