Steve Vickers - Grothendieck toposes constructively, via arithmetic universes
Channel: Università degli Studi dell'Insubria
Date: 2018-12-18

Abstract available at the address http://tcsc.lakecomoschool.org/files/2018/06/AbstractsToposesInComo_20_06.pdf