팔로우
Bryce Clarke
Bryce Clarke
Inria Saclay Centre
inria.fr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6 (1), 2024
452024
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
112022
Internal split opfibrations and cofunctors
B Clarke
Theory and Applications of Categories 35 (44), 1608-1633, 2020
102020
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
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–10