考える圏は小さい圏にします。小さい圏とは、集合圏 $`{\bf Set}`$ の内部圏〈圏対象〉です。こう仮定したからと言って、サイズの問題を完全に無視してるわけでもありません。集合圏のベースになるグロタンディーク宇宙を一レベル上げれば、大きい圏も扱えま…