Daily Archives: December 6, 2017

A Type theoretical Yoneda lemma

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://homotopytypetheory.org/2012/05/02/a-type-theoretical-yoneda-lemma/

Posted in Philosophie

Bisimplicial sets

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www-home.math.uwo.ca/~jardine/papers/HomTh/lecture008a.pdf ? https://ncatlab.org/nlab/show/bisimplicial+set

Posted in Philosophie

Goerss, Jardine : simplicial homotopy theory

https://www.math.univ-paris13.fr/~vallette/Goerss-Jardine.pdf

Posted in Homotopy

Sans rancune aucune

https://anthroposophiephilosophieetscience.wordpress.com/2017/12/03/la-decade-prodigieuse/ De cet abrutissement et aveulissement de la population au cours des années allant de 1960 à 1965 qui aboutit à Mai 68 et au règne des « fils de pub », les « yé yé » et leur apparition à partir de 1960 … Continue reading

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

Georges Bataille

http://jeanpaul.trichet.free.fr/hot_edwarda.html https://fr.m.wikipedia.org/wiki/Le_Mort_(récit) https://www.babelio.com/auteur/Georges-Bataille/2671/citations?pageN=10 http://www.pileface.com/sollers/spip.php?article278 « Que Dieu soit une prostituée de maison close, et une folle, n’a pas de sens en raison.” D’ailleurs : “Dieu s’il “savait” serait un porc.  » http://embuscades-alcapone.blogspot.fr/2012/12/madame-edwarda-le-mort-lhistoire-de.html « Penser ce qui excède la possibilité de penser, gagner … Continue reading

Posted in Littérature-Poésie, Philosophie

Emily Riehl, Mike Shulman : a type theory for synthetic ∞-categories

Originally posted on HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια:
Un article crucial, écrit par deux des plus grands chercheurs dans le domaine de HoTT et des ∞-catégories, sur l’étroite association des deux domaines: https://arxiv.org/abs/1705.07442 La présentation de cet article par Emily Riehl sur n-category-cafe :…

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory