swestrup: (Default)
swestrup ([personal profile] swestrup) wrote 2007-07-07 08:58 am (UTC)

No, I used -> because that's the notation for a category arrow. When I wrote f: 1->2, I meant that all we know about the function is that it provides an arrow from object '1' to object '2'.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting