The candidate for the effective 2-topos includes effective 1-topos as a subcategory of 0-types, indicating a significant relation.
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.
No takes yet. Share an insight, caveat, or question.
Awodey et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: