Archives pour la catégorie Higher topos theory

Les catégories comme Idées mathématiques (« Platonic forms »)

via Les catégories comme Idées mathématiques (« Platonic forms « )

Hurewicz fibrations in elementary toposes

Cliquer pour accéder à 1608.02509.pdf

Les tribus (tribes) de Joyal y sont étudiées , la notion de topos de Hurewicz est définie et on y montre qu’il s’agit d’une tribu (« type theoretical tribe »)