22 citations · 25 across the 3 of their papers we have counts for
4 papers
On a fibrational construction for optics, lenses, and Dialectica categories
Matteo Capucci, Bruno Gavranović, Abdullah Malik +2
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a sp…
Actegories for the Working Amthematician
Matteo Capucci, Bruno Gavranović
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic see…
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…
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…