272 search results - page 1 / 55 » Differential categories |
MSCS
2006
13 years 4 months ago
2006
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...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
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...
ETS
2006
IEEE
13 years 4 months ago
2006
IEEE
DAGSTUHL
2006
13 years 6 months ago
2006
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...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
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...