>>749
集合論の累積階層などの微細構造は、
圏論で綺麗に記述できるわけでもない。