集合の圏での射は包含関係を含んでるだろ？
空集合は全ての集合に含まれるってだけの事を勿体ぶってどうする？