5 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
Steve Awodey, Jacopo Emmenegger
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.