0410132人目の素数さん垢版 | 大砲2018/02/05(月) 23:52:11.00ID:3Dy9ejXa >>409 それは対応という言葉をナイーブに捉えてるからだよ 一旦厳密に定義した後で改めて存在するかどうか考えるのが常道 極端なケースとして定義域が空集合である写像も許容されるし、圏Setの始対象を定義するためにも空写像が必要