Mark Spezzano mark.spezzano at chariot.net.au writes:
Does anyone know what Hom stands for?
'Hom' stands for 'homomorphism' --a way of changing (morphism)
between two structures while keeping some information the same (homo-).
Any algebra text will define morphisms aplenty --homomorphisms,
On Tue, 02 Feb 2010 09:16:03 -0800, Creighton Hogg wrote:
2010/2/2 Álvaro García Pérez agar...@babel.ls.fi.upm.es
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
On Sun, 07 Feb 2010 01:38:08 +0900
Benjamin L. Russell dekudekup...@yahoo.com wrote:
On Tue, 02 Feb 2010 09:16:03 -0800, Creighton Hogg wrote:
2010/2/2 Álvaro García Pérez agar...@babel.ls.fi.upm.es
You may try Pierce's Basic Category Theory for Computer
Scientists or Awodey's
Mark Spezzano mark.spezzano at chariot.net.au writes:
Maybe there are books on Discrete maths or Algebra or Set Theory that deal
more with Hom Sets and Hom Functions?
Googling haskell category theory I got:
http://en.wikibooks.org/wiki/Haskell/Category_theory