Segui
Bryce Clarke
Bryce Clarke
Inria Saclay Centre
Email verificata su inria.fr - Home page
Titolo
Citata da
Citata da
Anno
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6 (1), 2024
41*2024
Internal lenses as functors and cofunctors
B Clarke
Electronic Proceedings in Theoretical Computer Science 323, 183-195, 2020
212020
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
102022
The double category of lenses
B Clarke
Macquarie University, 2022
82022
A diagrammatic approach to symmetric lenses
B Clarke
Electronic Proceedings in Theoretical Computer Science 333, 79-91, 2021
82021
Internal split opfibrations and cofunctors
B Clarke
Theory and Applications of Categories 35 (44), 1608-1633, 2020
82020
An introduction to enriched cofunctors
B Clarke, M Di Meglio
arXiv preprint arXiv:2209.01144, 2022
62022
Delta lenses as coalgebras for a comonad
B Clarke
CEUR Workshop Proceedings 2999, 18-27, 2021
42021
The Algebraic Weak Factorisation System for Delta Lenses
B Clarke
Electronic Proceedings in Theoretical Computer Science 397, 54-69, 2023
22023
Lifting twisted coreflections against delta lenses
B Clarke
arXiv preprint arXiv:2401.17250, 2024
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10