[Haskell-cafe] Category Theory woes
Álvaro García Pérez
agarcia at babel.ls.fi.upm.es
Tue Feb 2 07:53:48 EST 2010
You may try Pierce's "Basic Category Theory for Computer Scientists" or
Awodey's "Category Theory", whose style is rather introductory. Both of them
(I think) have a chapter about functors where they explain the Hom functor
and related topics.
2010/2/2 Mark Spezzano <mark.spezzano at chariot.net.au>
> I should probably add that I am trying various proofs that involve
> injective and surjective properties of Hom Sets and Hom functions.
> Does anyone know what Hom stands for?
> I need a text for a newbie.
> On 02/02/2010, at 9:56 PM, Mark Spezzano wrote:
> > Hi all,
> > I'm trying to learn Haskell and have come across Monads. I kind of
> understand monads now, but I would really like to understand where they come
> from. So I got a copy of Barr and Well's Category Theory for Computing
> Science Third Edition, but the book has really left me dumbfounded. It's a
> good book. But I'm just having trouble with the proofs in Chapter 1--let
> alone reading the rest of the text.
> > Are there any references to things like "Hom Sets" and "Hom Functions" in
> the literature somewhere and how to use them? The only book I know that uses
> them is this one.
> > Has anyone else found it frustratingly difficult to find details on
> easy-to-diget material on Category theory. The Chapter that I'm stuck on is
> actually labelled Preliminaries and so I reason that if I can't do this,
> then there's not much hope for me understanding the rest of the book...
> > Maybe there are books on Discrete maths or Algebra or Set Theory that
> deal more with Hom Sets and Hom Functions?
> > Thanks,
> > Mark Spezzano.
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe