Archives pour la catégorie Higher topos theory

Paugam : towards the mathematics of quantum field theory

via F Paugam : towards the mathematics of quantum field theory

Publicités

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

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

Que pense Allah des mathématiques ?

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 »)