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.
21-Sep-2001 18:05:57 -0300,1334;000000000001-0000001f