リーチは長いが、届くものはどれも圏論なしでも無問題なものばかり。
>>729
圏論と集合の同値性。