Mathematics – Category Theory
Scientific paper
2012-02-02
Mathematics
Category Theory
23 pages
Scientific paper
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential category of Blute et al. in which the differential operator is compatible with the closed structure. We prove that any differential lambda-category is equipped with a canonical strong commutative monad whose construction resembles that of the tangent bundle in the category of smooth manifolds. Most of the results of this note remain valid in an arbitrary cartesian differential category. Our emphasis on differential lambda-categories is motivated by the anticipated application of the theory developed in this note to the design and semantics of a lambda-calculus extended by the pushforward operator.
No associations
LandOfFree
Tangent bundles in differential lambda-categories 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 Tangent bundles in differential lambda-categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tangent bundles in differential lambda-categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-187498