Monads and extensive quantities
Category Theory
2011-03-31 v1
Abstract
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.
Cite
@article{arxiv.1103.6009,
title = {Monads and extensive quantities},
author = {Anders Kock},
journal= {arXiv preprint arXiv:1103.6009},
year = {2011}
}