[Haskell-cafe] Re: Re: Why monad tutorials don't work
dipankar at jfet.net
Wed Aug 15 16:23:55 EDT 2007
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":
Tim Gowers is a pretty ok mathematician - worth taking tips from, I'd say
On Wed, 15 Aug 2007, Dan Piponi wrote:
> On 8/15/07, Dan Weston <westondan at imageworks.com> 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.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe