型を対象、関数を射とした圏を考えたときに、 Int -> Int の射が複数存在して、それらが区別されてもいいですよね？