Artin glueings of toposes as adjoint split extensions

Artin glueings of frames correspond to adjoint split extensions in the category of frames and finite-meet-preserving maps. We extend these ideas to the setting of toposes and show that Artin glueings of toposes correspond to a 2-categorical notion of adjoint split extensions in the 2-category of top...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2022-07
Main Authors: Faul, Peter F, Manuell, Graham, Siqueira, José
Format: Article
Language:English
Subjects:
Equivalence
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Artin glueings of frames correspond to adjoint split extensions in the category of frames and finite-meet-preserving maps. We extend these ideas to the setting of toposes and show that Artin glueings of toposes correspond to a 2-categorical notion of adjoint split extensions in the 2-category of toposes, finite-limit-preserving functors and natural transformations. A notion of morphism between these split extensions is introduced, which allows the category Ext(H,N) to be constructed. We show that Ext(H,N) is contravariantly equivalent to Hom(H,N), and moreover, that this can be extended to a 2-natural contravariant equivalence between the Hom 2-functor and a naturally defined Ext 2-functor.
ISSN:2331-8422
DOI:10.48550/arxiv.2012.04963