Daily Archives: February 15, 2019

#EHTT vs #HoTT : What is an elementary higher topos ?

Originally posted on Science internelle Henosophia Toposophia Mathesis universalis:
La théorie des « elementary higher toposes «  (elementary higher topos theory =EHTT) en est encore au stade des premiers explorateurs ou pionniers, voici un texte de Nima Rasekh portant sur…

Posted in Philosophie