なかなか時間がみつけられんなあ。まだ定義をなめてる段階。 定義共 small category [小さい圏 - まんまか] := , Co, Cm are sets [自造] (covariant) functor [(共変)関手] F := (Fo:Co→Do) ∪ (Fm:Cm→Dm) (Fo, Fm は写像) s.t. ある種交換法則? { Preserves…