Daily Archives: September 6, 2017

Encyclopédie sur la mort (Maurice Blanchot)

http://agora.qc.ca/thematiques/mort/documents/larret_de_mort Maurice Blanchot, l’absence silencieuse : http://www.blanchot.fr/fr/index.php?option=content&task=view&id=17&Itemid=37 Philippe Sollers : le cas Blanchot http://www.pileface.com/sollers/spip.php?article674 Les deux morts de Maurice Blanchot : une phénoménologie https://www.mauriceblanchot.net/blog/public/deuxmortblanchot.pdf L’instant de ma mort: http://agora.qc.ca/thematiques/mort/documents/linstant_de_ma_mort

Posted in Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel

T Streicher : a model of type theory in simplicial sets – a brief introduction to Voevodsky’s #HoTT

https://ncatlab.org/nlab/show/T.+Streicher+-+a+model+of+type+theory+in+simplicial+sets+-+a+brief+introduction+to+Voevodsky%27+s+homotopy+type+theory L’article de T Streicher se lit en cliquant sur la référence au début. Comme on l’a vu dans l’article 15 récent du Hashtag #HigherToposTheory, les ensembles simpliciaux , qui sont des foncteurs ayant pour cible Set, s’organisent en une … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Théorie des topoi (topos theory) | Tagged , , ,

An objective assessment of the unconstitutional hypocrisy that is DACA

Posted in Philosophie