Grothendieck
Catégories · Topos · Logique
La mer montante
philosophie des mathématiques · Récoltes et Semailles
Révolution catégorielle
des objets aux morphismes
Théorie des topos
espace sans points · logique interne
Foncteurs & Adjoints
le concept unificateur
Logique intuitionniste
prouver c'est construire
Résonances
Nāgārjuna · Brouwer · Wittgenstein
Héritage & Ouvertures
HoTT · Curry-Howard · Lawvere
morphismes
Yoneda
schémas
faisceaux
objet Ω
site / topologie
foncteur
adjonction
transf. naturelle
tiers exclu rejeté
interp. BHK
Curry-Howard
Nāgārjuna
Brouwer
HoTT / types
Lawvere
Carte Mentale · Grothendieck · Catégories & Topos
Cliquer sur un nœud · Glisser pour naviguer · Molette pour zoomer
+
−
⌖
Vision centrale
Catégories
Topos
Foncteurs
Logique intuitionniste
Résonances
Héritage
✕