Mathematics – Category Theory
Scientific paper
2011-03-30
Mathematics
Category Theory
Scientific paper
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space of these functions. These data together make the endofunctors T and "functions into T(1)" into a system of extensive/intensive quantities, in the sense of Lawvere. A natural monad map from T to a certain monad of distributions (in the sense of functional analysis (Schwartz)) arises from this integration.
No associations
LandOfFree
Monads and extensive quantities 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 Monads and extensive quantities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monads and extensive quantities will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-569725