22 citations · 41 across the 8 of their papers we have counts for
Showing 2024 · math.CTShow all
2 papers · 2 filters
math.CT2024
A Fibrational Theory of First Order Differential Structures
Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani +1
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of…
math.CT2024
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…