Modules over Monads and Linearity

Details Modules over Monads and Linearity Modules over Monads and Linearity

2006-08-11

arxiv.org/abs/cs/0608051v2

Computer Science

Logic in Computer Science

15 pages, too many changes to be summarized

Scientific paper

Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important property of compatibility with substitution, in the heterogeneous case where "terms" and variables therein could be of different types as well as in the homogeneous case. In this paper, we present basic constructions of modules and we show examples concerning in particular abstract syntax and lambda-calculus.

Affiliated with

Also associated with

No associations

Rating

Modules over Monads and Linearity 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 Modules over Monads and Linearity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modules over Monads and Linearity will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-546645