A convenient differential category
A convenient differential category
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 spaces were introduced by Frolicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is …