Re: [Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

At this point I must mention that Tim Gowers has an excellent article on Tensor Products, entitled "How to lose your fear of tensor products": http://www.dpmms.cam.ac.uk/~wtg10/tensors3.html Tim Gowers is a pretty ok mathematician - worth taking tips from, I'd say ;) http://en.wikipedia.org/wiki/William_Timothy_Gowers On Wed, 15 Aug 2007, Dan Piponi wrote:

On 8/15/07, Dan Weston wrote:

...

"You too could have invented Universal Algebra and Category Theory". I nominate Dan Piponi to write it and eagerly await its release!

I've already started on it. Well, that's not the exact title and subject. And as an example I'll probably use the definition of tensor product that I linked to, not the even more compact and elegant one that you just gave.

I'm a strong believer that lots of (but not all) tricky looking mathematics is just fancy language for intuitions that people already have. I suspect that most computer scientists already have much of the intuition behind the idea of a universal property, and that it is in fact easier to grasp for a computer scientist than a mathematician.

:-) -- Dan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe