22 citations · 41 across the 8 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021★ 3 cited
Fibre optics
Dylan Braithwaite, Matteo Capucci, Bruno Gavranović +2
Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied categor…
math.CT2021★ 22 cited
Towards Foundations of Categorical Cybernetics
Matteo Capucci, Bruno Gavranović, Jules Hedges +1
We propose a categorical framework for processes which interact bidirectionally with both an environment and a 'controller'. Examples include open learners, in which the controller…