Profunctor optics, a categorical update B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ... Compositionality 6 (1), 2024 | 45* | 2024 |
Internal lenses as functors and cofunctors B Clarke Electronic Proceedings in Theoretical Computer Science 323, 183-195, 2020 | 21 | 2020 |
Limits and colimits in a category of lenses E Chollet, B Clarke, M Johnson, M Songa, V Wang, G Zardini Electronic Proceedings in Theoretical Computer Science 372, 164-177, 2022 | 11 | 2022 |
Internal split opfibrations and cofunctors B Clarke Theory and Applications of Categories 35 (44), 1608-1633, 2020 | 10 | 2020 |
The double category of lenses B Clarke Macquarie University, 2022 | 8 | 2022 |
A diagrammatic approach to symmetric lenses B Clarke Electronic Proceedings in Theoretical Computer Science 333, 79-91, 2021 | 8 | 2021 |
An introduction to enriched cofunctors B Clarke, M Di Meglio arXiv preprint arXiv:2209.01144, 2022 | 6 | 2022 |
Delta lenses as coalgebras for a comonad B Clarke CEUR Workshop Proceedings 2999, 18-27, 2021 | 4 | 2021 |
The Algebraic Weak Factorisation System for Delta Lenses B Clarke Electronic Proceedings in Theoretical Computer Science 397, 54-69, 2023 | 2 | 2023 |
Lifting twisted coreflections against delta lenses B Clarke arXiv preprint arXiv:2401.17250, 2024 | | 2024 |