This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
Richard Blute, J. Robin B. Cockett, R. A. G. Seely
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such...
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...