25 May
2002
25 May
'02
6:37 p.m.
At 2002-05-25 01:32, Koen Claessen wrote:
Might I remind you that an arrow (as defined in category theory) only requires identy and composition to be defined and satisfying some laws?
In particular, an arrow does not have to have the operations "arr" and "first".
Well either "arrow" is being used in two different senses or the "Arrow" class should be renamed. If you can't define "arr" and "first", it may be an arrow but it's not an Arrow. -- Ashley Yakeley, Seattle WA