前順序集合は圏と見なせる．すなわち，x ≤ y のとき，射 x → y が1つあるとする． 任意の2点が共通の上界をもつような前順序集合を 有向集合 と言う． 有向集合 D に最大元 ω を付加したものを D' で表す． 有向集合 D から圏 C への関手 F を C 上の 帰納系…