Toward the effective 2-topos
Category Theory
2026-01-14 v2 Logic
Abstract
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.
Cite
@article{arxiv.2503.24279,
title = {Toward the effective 2-topos},
author = {Steve Awodey and Jacopo Emmenegger},
journal= {arXiv preprint arXiv:2503.24279},
year = {2026}
}
Comments
Dedicated to Pino Rosolini on the occasion of his 70th birthday