Daily Archives: October 20, 2017

André Joyal : New variations on the notion of topos : locus and para-topos

https://sites.google.com/site/logiquecategorique/autres-seminaires/ihes/ihestopos/joyal https://indico.math.cnrs.fr/event/747/session/5/contribution/19/material/0/0.pdf

Posted in category theory, Théorie des topoi (topos theory)

#HoTT The Book : type 2 of booleans; type N of natural numbers

The HoTT Book L’ensemble 2={0, 11} des deux valeurs de vérité Vrai (1) et Faux (0) est un type à deux termes ; 2: U que l’on retrouve souvent en programmation : https://en.m.wikipedia.org/wiki/Boolean_data_type Il peut être construit comme coproduit (Somme) … Continue reading

Posted in homotopy type theory

Guillaume Brunerie : weak infinity groupoids in #HoTT


Posted in homotopy type theory | Tagged

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

Partie 1: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%201.pdf Partie 2: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%202.pdf Partie 3: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%203.pdf Partie 4: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%204.pdf Partie 5: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%205.pdf

Posted in ∞-catégories, category theory, homotopy type theory | Tagged , , ,

New Foundations: Towards Tribal Unity

Originally posted on Fewer Lacunae:
Part Of: Principles of Machine Learning sequence Followup To: Five Tribes of Machine Learning Content Summary: 1700 words, 17 min read Overview In Five Tribes of Machine Learning, I reviewed Pedro Domingos’ account of tribes…

Posted in Philosophie