Daily Archives: September 4, 2017

Modeling Univalence in Inverse Diagrams

Originally posted on Homotopy Type Theory:
I have just posted the following preprint, which presents new set-theoretic models of univalence in categories of simplicial diagrams over inverse categories (or, more generally, diagrams over inverse categories starting from any existing model…

Posted in Philosophie

Covering Spaces

Originally posted on Homotopy Type Theory:
Covering spaces are one of the important topics in classical homotopy theory, and this post summarizes what we have done in HoTT.  We have formulated the covering spaces and (re)proved the classification theorem based…

Posted in Philosophie

“Gloire du long désir, Idées…”

Le poème de Stéphane Mallarmé, ” Prose pour des Esseintes” a pour thème l’opposition du dualisme et du monisme, voir le commentaire qui en est fait ici : https://anthroposophiephilosophieetscience.wordpress.com/2016/04/09/le-poeme-le-plus-hermetique-de-mallarme-prose-pour-des-esseintes/ Voir aussi le commentaire du poème sur Wikisource: https://fr.m.wikisource.org/wiki/La_Poésie_de_Stéphane_Mallarmé/Livre_III/III Le texte … Continue reading

Posted in Littérature-Poésie, Philosophie | Tagged , , , , , ,