Artin glueings of toposes as adjoint split extensions
Affiliation:
1. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, United Kingdom of Great Britain and Northern Ireland;2. Centre for Mathematics, University of Coimbra, Coimbra, Portugal