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'.