Daily Archives: October 28, 2017

Le jour le plus long (1962, vostfr)

Ici : https://m.ok.ru/video/39833307901 Pourquoi ce film dont il est facile de noter les absurdités et les invraisemblances ? Pour prendre un seul exemple, qui apparaît au tout début, cet homme épuisé , en sueur, avec un porte documents, qui court … Continue reading

Posted in Cinéma

#HoTT André Joyal : tribus et clans

La dernière définition est donnée en 2016 dans ce cours en cinq parties: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/20/hott-le-cours-dandre-joyal-en-cinq-parties-sur-les-tribus/ La définition d’un clan est donnée dans le deuxième cours : https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%202.pdf pages 4 et 5 sur 37 Les clans sont la notion catégorique qui permettent … Continue reading

Posted in Philosophie

Properties of Morphisms

Originally posted on Math ∩ Programming:
This post is mainly mathematical. We left it out of our introduction to categories for brevity, but we should lay these definitions down and some examples before continuing on to universal properties and doing more…

Posted in Philosophie

#HoTT The Book 2.1 Types are higher groupoids

The HoTT Book Page 62 C’est la même idée que celle développée dans ces notes de Thomas Streicher: https://www.lirmm.fr/~retore/LCS/online/streicher_bordeaux.pdf ainsi que dans cet article séminal de Hoffman et Streicher: Hofmann, Streicher: The groupoid interpretation of type theory https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann/pdfs/agroupoidinterpretationoftypetheroy.pdf Avec une rétrospective, … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory