Archives du mot-clé André Joyal

Hurewicz fibrations in elementary toposes

https://arxiv.org/pdf/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 »)

Publicités