そのつまり、「コード上で複数ある」は先ほどの、型の集まりと関数の集まりの圏で、表現できますか？ということですね。