Daily Archives: November 1, 2017

La dualité de l’Ouvert : l’arbre de la connaissance du Bien et du Mal dans Genèse

Le début de le Genèse ne doit surtout pas être interprété historiquement, comme mettant en scène des personnes physiques individuelles : Adam l’homme, Ève la femme, le serpent qui parle.. Ève a été interprétée (par Fabre d’Olivet je crois) comme … Continue reading

Posted in Bible, Ouvert : dualité plan vital-plan spirituel

La catégorie (Le topos) Sset des ensembles simpliciaux

Click to access lancaster.pdf C’est un topos de préfaisceaux (presheaves) c’est à dire de foncteurs à destination de la catégorie des ensembles Set : https://ncatlab.org/nlab/show/simplicial+set Click to access ssets.pdf Click to access sset.pdf F: Δop → Set qui a une … Continue reading

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

Définir les (∞,1)-catégories dans le cadre de #HoTT

Le lien est à Click to access reedy-slides.pdf Page 6: La donnée d’une (∞,1)- catégorie équivaut à : La donnée d’un type des objets La donnée d’un type des 1-morphismes pour tout couple d’objets Une loi de composition des morphismes … Continue reading

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