13 citations · 37 across the 10 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.CT2011★ 4 cited
Calculus of extensive quantities
Anders Kock
We show how a commutative monad gives rise to a theory of extensive quantities, including (under suitable further conditions) a differential calculus of such. The relationship to S…
math.CT2011★ 13 cited
Monads and extensive quantities
Anders Kock
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"),…