arrows

[Ashley Yakeley]

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