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

http://www1.maths.leeds.ac.uk/~pmtng/Research/Lectures/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 http://www.math.jhu.edu/~eriehl/ssets.pdf https://www.mathi.uni-heidelberg.de/~rueschoff/ss17sset/sset.pdf F: Δop → Set qui a une structure de catégorie modèle ( model category) https://ncatlab.org/nlab/show/model+structure+on+simplicial+sets Un … 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 à http://www.cs.nott.ac.uk/~psxpc2/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 Un morphisme identité … Continue reading

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