Daily Archives: August 11, 2017

Alain Resnais : Hiroshima mon amour (1959)

https://m.ok.ru/video/87158557371 “Impossible de ne pas venir” “HI-RO-SHI-MA ..Hiroshima c’est ton nom” “C’est mon nom oui. ..et toi ton nom est NE-VERS Nevers-en-France” Impossible d’oublier cette scène .. Et dans la scène du début , est ce la poussière du temps … Continue reading

Posted in Cinéma | Tagged | Leave a comment

Homotopy limit functors on model categories and homotopical categories

Originally posted on HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια:
https://ncatlab.org/nlab/show/Homotopy+Limit+Functors+on+Model+Categories+and+Homotopical+Categories

Posted in Philosophie | Leave a comment

Maltsinotis: Grothendieck and homotopical algebra

Originally posted on Motivic stuff:
More notes from the Grothendieck conference: Maltsiniotis spoke on Grothendieck and homotopical algebra – here is my scan. In my opinion this talk was one of the best, given that the subject is often regarded as…

Posted in ∞-catégories, Grothendieck, homotopy type theory | Leave a comment

#HoTT une théorie “synthétique” des groupoides

Toujours dans l’article : http://home.sandiego.edu/~shulman/papers/synhott.pdf Michael Shulman Page 4 décrit les groupoides comme une généralisation des ensembles comme collections. Il y a deux sortes de collections, dont la seconde est Le collection des manières dont deux objets x et y … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Tagged , , , | Leave a comment