21 citations · 41 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022★ 1 cited
Double Fibrations
Geoffrey Cruttwell, Michael Lambert, Dorette Pronk +1
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to exis…
math.CT2022
Monoidal Reverse Differential Categories
Geoffrey Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay +1
Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the reverse differentiation operations used in supervised learning. Her…