This has been further developed in several papers by Rutten and other people. (This is entertaining but is not categorical: http://www.cs.dartmouth.edu/~doug/music.ps.gz) Martin On 20/09/11 18:55, Dusko Pavlovic wrote:

infinite series and analytic functions can be simply and conveniently manipulated in categories of coalgebras. their taylor and laplace transforms turn up as coalgebra isomorphims. the basics of this approach are in my LICS 98 paper with martin escardo, http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5684# or http://www.isg.rhul.ac.uk/dusko/coalgebra.html neither martin nor i really pursued this path, which is perhaps a mistake, since it seems that a powerful categorical tool lies there.

2c, -- dusko

On Sep 16, 2011, at 5:42 PM, peasthope@shaw.ca wrote:

...

Is CT any help in getting an overview of infinite series?

I'm curious to find an inverse of f(\theta) = \theta \sin \theta and wonder whether there is an approach more insightful than the traditional course in applied analysis.

Thanks, ... Peter E.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]