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…