順序集合での図式の極限 順序集合での極限は、図式を構成する対象だけで決まる。 図式が与えられたとして、錐を考えると、図式(=錐の底)の射を足しても取り除いても、錐の可換性は保たれる。つまり、射の有無で錐が錐でなくなることはない。従って図式の対象…

順序集合を圏論的に考えるのに便利な概念を整理する。簡単のため、充満部分圏とその埋め込み関手と関手圏の対象としての埋め込み関手をポインティングする関手を同じ記号で表すことにする。 順序集合からの関手 プレ順序集合から一般の圏への関手は忠実関手…

順序集合とは、その元の間に順序関係 ≦ がある集合。この関係「≦」を単純に矢印「→」に読み替えると圏になる。逆に、ある条件を満たす圏は「→」を「≦」に読み替えることで順序集合になる*1。 ということは、順序集合にまつわるあれこれ*2を圏の概念で表すこ…