Daily Archives: August 8, 2017

Universal Properties of Truncations

Originally posted on Homotopy Type Theory:
Some days ago at the HoTT/UF workshop in Warsaw (which was a great event!), I have talked about functions out of truncations. I have focussed on the propositional truncation , and I want to…

Posted in Philosophie

nForum : Fichte, Novalis et les mathématiques

https://nforum.ncatlab.org/discussion/6364/fichtes-wissenschaftslehre-novalis-and-mathematics/

Posted in Fichte, Philosophie, Philosophie mathématique, Science, mathesis | Tagged ,

#HoTT Homotopy hypothesis

http://math.ucr.edu/home/baez/homotopy/ Elle permet d’identifier les n-groupoides et les “homotopy n-types”

Posted in Philosophie, ∞-catégories, ∞-topoi, Grothendieck, homotopy type theory | Tagged

Paul Thomas Anderson : The Master (2012, vf)

http://sokrostream.ws/films/the-master-2958.html (Ok.ru) Ce film a été fréquemment jugé comme en régression par rapport au précédent, “There Will ne blood”. https://fr.m.wikipedia.org/wiki/The_Master_(film) mais c’est à mon avis une œuvre encore plus importante, s’il est possible. Fredy Quell et Le Maître (Lancaster Dodd) … Continue reading

Posted in Cinéma, Philosophie | Tagged , ,