24 citations · 55 across the 15 of their papers we have counts for
18 papers
Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
Dorette Pronk, Geoff Vooys
In this paper we show that if is a category and if is a pseudofunctor such that for each object of $\m…
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…
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…
Entanglement between charge qubit states and coherent states of nanomechanical resonator generated by AC Josephson effect
O. M. Bahrova, L Y. Gorelik, S. I. Kulinich
We considered a nanoelectromechanical system consisting of a movable Cooper-pair box qubit which is subject to an electrostatic field, and coupled to the two bulk superconductors v…
Categorical semantics of a simple differential programming language
Geoffrey Cruttwell, Jonathan Gallagher, Dorette Pronk
With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been t…
Latent Fibrations: Fibrations for Categories of Partial Maps
Robin Cockett, Geoff Cruttwell, Jonathan Gallagher +1
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the…