| Title:
|
The Grothendieck construction for delta lenses (English) |
| Author:
|
Clarke, Bryce |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
10 |
| Issue:
|
1 |
| Year:
|
2026 |
| Pages:
|
240-272 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Delta lenses are functors equipped with a functorial choice of lifts, generalising the notion of split opfibration. In this paper, we introduce a Grothendieck construction (or category of elements) for delta lenses, thus demonstrating a correspondence between delta lenses and certain lax double functors into the double category of sets, functions, and split multivalued functions. We show that the double category of split multivalued functions admits a universal property as a certain kind of limit, and inherits many nice properties from the double category of spans. Applications of this construction to the theory of delta lenses are explored in detail. (English) |
| Keyword:
|
Grothendieck construction |
| Keyword:
|
category of elements |
| Keyword:
|
delta lens |
| Keyword:
|
double category |
| Keyword:
|
split multivalued function |
| Keyword:
|
lax double functor |
| MSC:
|
18A25 |
| MSC:
|
18B10 |
| MSC:
|
18D30 |
| MSC:
|
18N10 |
| DOI:
|
10.21136/HS.2026.07 |
| . |
| Date available:
|
2026-09-17T12:48:24Z |
| Last updated:
|
2026-09-17 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153759 |
| . |
| Reference:
|
[1] Abou-Saleh, Faris, Cheney, James, Gibbons, Jeremy, McKinna, James, Stevens, Perdita: Introduction to bidirectional transformations..Lecture Notes in Computer Science, Vol. 9715 |
| Reference:
|
[2] Aguiar, Marcelo: Internal categories and quantum groups..PhD thesis, Cornell University |
| Reference:
|
[3] Ahman, Danel, Uustalu, Tarmo: Directed containers as categories..Electronic Proceedings in Theoretical Computer Science, Vol. 207 |
| Reference:
|
[4] Ahman, Danel, Uustalu, Tarmo: Taking Updates Seriously..CEUR Workshop Proceedings, Vol. 1827 |
| Reference:
|
[5] Ahrens, Benedikt, Lumsdaine, Peter LeFanu: Displayed Categories..Logical Methods in Computer Science, Vol. 15 |
| Reference:
|
[6] Bourke, John, Garner, Richard: Algebraic weak factorisation systems I: Accessible AWFS..Journal of Pure and Applied Algebra, Vol. 220 |
| Reference:
|
[7] Buckley, Mitchell: Fibred 2-categories and bicategories..Journal of Pure and Applied Algebra, Vol. 218 |
| Reference:
|
[8] Chollet, Emma, Clarke, Bryce, Johnson, Michael, Songa, Maurine, Wang, Vincent, Zardini, Gioele: Limits and colimits in a category of lenses..Electronic Proceedings in Theoretical Computer Science, Vol. 372 |
| Reference:
|
[9] Clarke, Bryce: Internal lenses as functors and cofunctors..Electronic Proceedings in Theoretical Computer Science, Vol. 323 |
| Reference:
|
[10] Clarke, Bryce: Internal split opfibrations and cofunctors..Theory and Applications of Categories, Vol. 35 |
| Reference:
|
[11] Clarke, Bryce: A diagrammatic approach to symmetric lenses..Electronic Proceedings in Theoretical Computer Science, Vol. 333 |
| Reference:
|
[12] Clarke, Bryce: Delta lenses as coalgebras for a comonad..CEUR Workshop Proceedings, Vol. 2999 |
| Reference:
|
[13] Clarke, Bryce: The double category of lenses..PhD thesis, Macquarie University |
| Reference:
|
[14] Clarke, Bryce: The algebraic weak factorisation system for delta lenses..Electronic Proceedings in Theoretical Computer Science, Vol. 397 |
| Reference:
|
[15] Clarke, Bryce: Lifting twisted coreflections against delta lenses..Theory and Applications of Categories, Vol. 41 |
| Reference:
|
[16] Cruttwell, G. S. H., Lambert, M. J., Pronk, D. A., Szyld, M.: Double fibrations..Theory and Applications of Categories, Vol. 38 |
| Reference:
|
[17] Cruttwell, G. S. H., Shulman, Michael A.: A unified framework for generalized multicategories..Theory and Applications of Categories, Vol. 24 |
| Reference:
|
[18] Czarnecki, Krzysztof, Foster, J. Nathan, Hu, Zhenjiang, Lämmel, Ralf, Schürr, Andy, Terwilliger, James F.: Bidirectional transformations: A cross-discipline perspective..Lecture Notes in Computer Science, Vol. 5563 |
| Reference:
|
[19] Dawson, Robert, Paré, Robert, Pronk, Dorette: The span construction..Theory and Applications of Categories, Vol. 24, |
| Reference:
|
[20] Meglio, Matthew Di: Coequalisers under the lens..Electronic Proceedings in Theoretical Computer Science, Vol. 372 |
| Reference:
|
[21] Meglio, Matthew Di: Universal properties of lens proxy pullbacks..Electronic Proceedings in Theoretical Computer Science, Vol. 380 |
| Reference:
|
[22] Diskin, Zinovy, Xiong, Yingfei, Czarnecki, Krzysztof: From state- to delta-based bidirectional model transformations: The asymmetric case..Journal of Object Technology, Vol. 10 |
| Reference:
|
[23] Ehresmann, Charles: Catégories structurées..Annales scientifiques de l'École Normale Supérieure, Vol. 80 |
| Reference:
|
[24] Emmenegger, Jacopo, Mesiti, Luca, Rosolini, Giuseppe, Streicher, Thomas: A comonad for Grothendieck fibrations..Theory and Applications of Categories, Vol. 40 |
| Reference:
|
[25] Foster, J. Nathan, Greenwald, Michael B., Moore, Jonathan T., Pierce, Benjamin C., Schmitt, Alan: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem..ACM Transactions on Programming Languages and Systems, Vol. 29 |
| Reference:
|
[26] Gibbons, Jeremy, Johnson, Michael: Relating algebraic and coalgebraic descriptions of lenses..Electronic Communications of the EASST, Vol. 49 |
| Reference:
|
[27] Grandis, Marco: Higher Dimensional Categories: From Double to Multiple Categories..World Scientific |
| Reference:
|
[28] Grandis, Marco, Paré, Robert: Limits in double categories..Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 40 |
| Reference:
|
[29] Grandis, Marco, Paré, Robert: Adjoint for double categories..Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 45 |
| Reference:
|
[30] Grandis, Marco, Paré, Robert: Lax Kan extensions for double categories..Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 48 |
| Reference:
|
[31] Grandis, Marco, Tholen, Walter: Natural weak factorization systems..Archivum Mathematicum, Vol. 42 |
| Reference:
|
[32] Grothendieck, Alexander, Raynaud, Michèle: Revêtements Étales et Groupe Fondamental: Séminaire de Géométrie Algébrique du Bois Marie 1960/61 (SGA 1)..Lecture Notes in Mathematics, Vol. 224 |
| Reference:
|
[33] Johnson, Michael, Rosebrugh, Robert: Delta lenses and opfibrations..Electronic Communications of the EASST, Vol. 57 |
| Reference:
|
[34] Johnson, Michael, Rosebrugh, Robert: Spans of delta lenses..CEUR Workshop Proceedings, Vol. 1396 |
| Reference:
|
[35] Johnson, Michael, Rosebrugh, Robert: Unifying set-based, delta-based and edit-based lenses..CEUR Workshop Proceedings, Vol. 1571 |
| Reference:
|
[36] Johnson, Michael, Rosebrugh, Robert, Wood, Richard: Algebras and update strategies..Journal of Universal Computer Science, Vol. 16 |
| Reference:
|
[37] Lack, Stephen: Icons..Applied Categorical Structures, Vol. 18 |
| Reference:
|
[38] Lack, Stephen, Shulman, Michael: Enhanced 2-categories and limits for lax morphisms..Advances in Mathematics, Vol. 229 |
| Reference:
|
[39] Lambert, Michael: Discrete double fibrations..Theory and Applications of Categories, Vol. 37 |
| Reference:
|
[40] Manuell, Graham: Monoid extensions and the Grothendieck construction..Semigroup Forum, Vol. 105 |
| Reference:
|
[41] Moeller, Joe, Vasilakopoulou, Christina: Monoidal Grothendieck construction..Theory and Applications of Categories, Vol. 35 |
| Reference:
|
[42] Myers, David Jaz: Double Categories of Open Dynamical Systems (Extended Abstract)..Electronic Proceedings in Theoretical Computer Science, Vol. 333 |
| Reference:
|
[43] Paré, Robert: Yoneda theory for double categories..Theory and Applications of Categories, Vol. 25 |
| Reference:
|
[44] Paré, Robert: Retrocells..Theory and Applications of Categories, Vol. 40 |
| Reference:
|
[45] Pavlović, D., Abramsky, S.: Specifying interaction categories..Lecture Notes in Computer Science, Vol. 1290 |
| Reference:
|
[46] Shulman, Michael: Framed bicategories and monoidal fibrations..Theory and Applications of Categories, Vol. 20 |
| Reference:
|
[47] Spivak, David I., Garner, Richard, Fairbanks, Aaron David: Functorial aggregation..Journal of Pure and Applied Algebra, Vol. 229 |
| Reference:
|
[48] Street, Ross: Fibrations and Yoneda's lemma in a 2-category..Lecture Notes in Mathematics, Vol. 420 |
| . |
