A convenient differential category

Details A convenient differential category A convenient differential category

2010-06-16

arxiv.org/abs/1006.3140v1

Computer Science

Logic in Computer Science

Scientific paper

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 Fr\"olicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is already contained in Fr\"olicher and Kriegl's book, we here give a new interpretation of the category of convenient vector spaces as a model of the differential linear logic of Ehrhard and Regnier. Rather than base our proof on the abstract categorical structure presented by Fr\"olicher and Kriegl, we prefer to focus on the bornological structure of convenient vector spaces. We believe bornological structures will ultimately yield a wide variety of models of differential logics.

Affiliated with

Also associated with

No associations

Rating

A convenient differential category does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A convenient differential category, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A convenient differential category will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-100115