Daily Archives: October 8, 2017

Orson Welles : Mr Arkadin (1955, vostfr)

En 6 vidéos sur YouTube Vidéo 1/6: (Les liens pour les cinq suivantes sont dans la colonne de droite) Gregory Arkadin est un richissime magnat qui doit sa fortune à une somme d’argent qu’il a dérobé à un gang de … Continue reading

Posted in Cinéma

Lire Emmanuel Macron

https://lescorpscelestes.fr/les-labyrinthes-du-politique-macron/

Posted in FRANCE 2017, France-bordel, Macrollande-dictature, Merde in France | Tagged

The philosophy of Bolzano : logic and ontology

https://www.ontology.co/bolzanob.htm

Posted in Europe, homotopy type theory, Logique, Philosophie, Philosophie mathématique

Tout un tas de liens sur n-category cafe

https://golem.ph.utexas.edu/category/archives.html

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis

Andrei Rodin : what comes after structural realism ? #HoTT and constructive identity

http://philomatica.org/wp-content/uploads/2012/12/reality_talk.pdf

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique | Tagged

Parametricity, automorphisms of the universe, and excluded middle

Originally posted on Homotopy Type Theory:
Specific violations of parametricity, or existence of non-identity automorphisms of the universe, can be used to prove classical axioms. The former was previously featured on this blog, and the latter is part of a discussion on…

Posted in Philosophie

Type theoretic replacement & the n-truncation

Originally posted on Homotopy Type Theory:
This post is to announce a new article that I recently uploaded to the arxiv: https://arxiv.org/abs/1701.07538 The main result of that article is a type theoretic replacement construction in a univalent universe that is…

Posted in Philosophie