Lifting twisted coreflections against delta lenses
Theory and applications of categories, Tome 41 (2024), pp. 838-877.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper, we show that this algebraic weak factorisation system is cofibrantly generated by a small double category, and characterise the left class as split coreflections with a certain property; we call these twisted coreflections. We demonstrate that every twisted coreflection arises as a pushout of an initial functor from a discrete category along a bijective-on-objects functor. Throughout the article, we take advantage of a reformulation of algebraic weak factorisation systems, due to Bourke, based on double-categorical lifting operations.
Publié le :
Classification : 18A32, 18A40, 18C15, 18D30, 18N10
Keywords: algebraic weak factorisation system, coreflection, double category, lens, lifting, opfibration
@article{TAC_2024_41_a25,
     author = {Bryce Clarke},
     title = {Lifting twisted coreflections against delta lenses},
     journal = {Theory and applications of categories},
     pages = {838--877},
     publisher = {mathdoc},
     volume = {41},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a25/}
}
TY  - JOUR
AU  - Bryce Clarke
TI  - Lifting twisted coreflections against delta lenses
JO  - Theory and applications of categories
PY  - 2024
SP  - 838
EP  - 877
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_41_a25/
LA  - en
ID  - TAC_2024_41_a25
ER  - 
%0 Journal Article
%A Bryce Clarke
%T Lifting twisted coreflections against delta lenses
%J Theory and applications of categories
%D 2024
%P 838-877
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a25/
%G en
%F TAC_2024_41_a25
Bryce Clarke. Lifting twisted coreflections against delta lenses. Theory and applications of categories, Tome 41 (2024), pp. 838-877. http://geodesic.mathdoc.fr/item/TAC_2024_41_a25/