Sketches for arithmetic universes

zbMath1420.18011arXiv1608.01559MaRDI QIDQ5224159

Steven Vickers

Publication date: 19 July 2019

Full work available at URL: https://arxiv.org/abs/1608.01559

zbMATH Keywords

toposgeometric theorygeneralized space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Sketches and generalizations (18C30)

Related Items (6)

An interpretation of dependent type theory in a model category of locally cartesian closed categories ⋮ The localic compact interval is an Escardó‐Simpson interval object ⋮ Radical theory of Scott-open filters ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Maximal ideals in countable rings, constructively

This page was built for publication: Sketches for arithmetic universes