Le platonisme phénoménologique d’Albert Lautman

https://hal.archives-ouvertes.fr/halshs-01122319/document

UCR : exposés sur la théorie appliquée des catégories

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

Applied Category Theory at UCR (Part 3)

Applied Category Theory at UCR (Part 2)

View original post

Homotopy type theory (Licata, Gambino, Lumsdaine)

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types

Click to access fetch.php

View original post

La page Nlab pour (∞, n) Cat

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

https://ncatlab.org/nlab/show/%28infinity%2Cn%29Cat

C’est une (∞,n+1)-catégorie, de toutes les (∞,n)-catégories:

(∞,n)-catégories et (∞, 1)-catégories

https://ncatlab.org/nlab/show/%28infinity%2Cn%29-category

View original post

« Propositions as types » : Philip Wadler

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

View original post

(∞,n)-catégories et (∞,1)-catégories

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

(∞,n)-catégories et (∞, 1)-catégories

View original post

La catégorie (Le topos) Sset des ensembles simpliciaux

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: La catégorie (Le topos) Sset des ensembles simpliciaux

View original post