Toward the effective 2-topos
arXiv:2503.24279 · doi:10.1017/S0960129525100352
Abstract
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.
Dedicated to Pino Rosolini on the occasion of his 70th birthday