2011-06-28から1日間の記事一覧
圏 C の対象 X について X 上の sieve とは、X へ向かう射(0個、複数可)からなる放射状の図式 S で、 任意の射 f ∈ S と射 g が g ; f と結合可能ならば、g ; f ∈ S をみたすものをいう。 上の条件を "closed under precomposition with morphisms in C"、あ…
圏 C の対象 X について X 上の sieve とは、X へ向かう射(0個、複数可)からなる放射状の図式 S で、 任意の射 f ∈ S と射 g が g ; f と結合可能ならば、g ; f ∈ S をみたすものをいう。 上の条件を "closed under precomposition with morphisms in C"、あ…