Daily Archives: March 6, 2018

A la recherche du Prêtre Jean

http://compilhistoire.pagesperso-orange.fr/pretreJean.htm Mythe ou canular ? http://www.lemonde.fr/les-decodeurs/article/2017/10/25/le-royaume-du-pretre-jean-plus-grosse-fake-news-du-moyen-age_5205656_4355770.html Il faudra bien un jour décoder les décodeurs… http://esprit-universel.over-blog.com/article-rene-guenon-le-roi-du-monde-royaute-et-pontificat-2-3-53434549.html http://dinul-qayyim.over-blog.com/2013/12/rené-guénon-le-christ-prêtre-et-roi.html http://www.rene-guenon.org/roi.html Advertisements

Posted in Philosophie

Display map category

Définition page 3 de : https://home.sandiego.edu/~shulman/hottminicourse2012/03models-handout2up.pdf

Posted in ∞-catégories, homotopy type theory

Homotopy

https://web.northeastern.edu/suciu/U565/U565sp10-homotopy.pdf

Posted in Homotopy

#HoTT André Joyal extension et restriction de contexte ; foncteurs logiques , termes génériques

http://www1.maths.leeds.ac.uk/~pmtng/HOMALG/joyal-mit.pdf Un type est un objet E d’une tribu C, c’est à dire une catégorie satisfaisant certaines conditions cf page 13 sur 81: ⊢E : Type Un terme est un élément d’un type E, c’est à dire catégoriquement un morphisme … Continue reading

Posted in ∞-catégories, homotopy type theory