「帰納極限」について考えてみたいと思います。 集合と写像のあつまりT={集合A[i]（i∈I、Iは有向集合）、写像f[ji] : A[j]→A[i]（i＜j）}を「I帰納系」といいます。Tの「帰納極限」を、次の条件をみたすような集合Aと定義します。(1)任意のi∈Iに対し、Tの写…