小さい圏Cから集合圏Setへの関手 F:C→Set に限定して、その極限を具体的に扱います。具体的とは、極限を、（無限かも知れない）直積と条件絞り込みで実際に構成することを意味します。具体的構成の方針（精神）は、「錐〈すい〉集合関手の表現対象を作りまし…