2025/03/31 by Awodey, Steve, Emmenegger, Jacopo
#18B25 #18N10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2503.24279
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.