categories: Re: RFC Walters "Categories and Computer Science"

[Galchin Vasili <vngalchin@yahoo.com>]

It is a diagram of a graph and the shape is purely
a graph (I.E. it would be wrong to see implicit 
identity morphisms in this example). I have alwasy
had problems with this example. I do love the
book though.

Regards, Bill

--- S Vickers <s.j.vickers@open.ac.uk> wrote:
> >Hello,
> >
> >    I am rereading Walters' book in particular the
> >functor chapter. I am also reading Barr & Wells 
...

> >graph (without composition). What do others think?
> >
> >Regards, Bill Halchin
> >
> I haven't got either books in front of me at the
> moment, so I hope I'm not
> going off on a tangent. However, there is a definite

...

> This is discussed in my paper with Gillian Hill,
> "Presheaves as configured
> specifications", Formal Aspects of Computing 13 (Sep
> 2001) pp. 32-49.
> 
> Steve Vickers.
>