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.
Alvaro. 2010/2/2 Mark Spezzano <mark.spezz...@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. > > Mark > > 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@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
