nLab
Marco Vergura

Selected writings

On localization of \infty -toposes motivated by modal homotopy type theory:

category: people