>>128
126の定義を
集合と写像の圏に限ったもの