Daily Archives: January 20, 2018

Correspondance entre Alexandre Grothendieck et Ronald Brown

https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/agrb_web.pdf Advertisements

Posted in Grothendieck, Philosophie mathématique, Science, mathesis

Otto Preminger : « Laura » 1944

En anglais vo: https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=269918407331&st.retLoc=default&st.discType=MOVIE&st.mvId=269918407331&st.stpos=rec_1&_prevCmd=movieLayer&tkn=6767#lst# J’ai vu le film fin 1967 au cinéma « Studio de l’Etoile » tout près derrière l’Arc de Triomphe, j’allais avoir quinze ans… C’est un film fascinant à cause de sa tonalité « orphique » , sensible dans le scénario … Continue reading

Posted in Cinéma

Différentes notes d’André Joyal sur la description catégorique de #HoTT

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/12/andre-joyal-hott-category-theory-and-homotopy-type-theory/ Les deux travaux qui suivent portant sur la notion de tribu: https://ncatlab.org/homotopytypetheory/files/Joyal.pdf http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf L’état le plus récent de ces travaux est « Notes on tribes and clans »: https://arxiv.org/abs/1710.10238 Voir les articles de ce blog: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/28/hott-andre-joyal-tribus-et-clans/ https://anthroposophiephilosophieetscience.wordpress.com/2017/09/15/hott-relation-des-tribes-et-des-comprehension-categories/ Les tribus (tribes) sont … Continue reading

Posted in homotopy type theory