2011-06-10から1日間の記事一覧
集合圏のように、極限と余極限が常に存在する場合に、面白いことが言えるのでメモ。以下は集合圏で書くが 一般化は色々できると思う。 Sets を集合圏とする。任意の圏 C と任意の関手 J: C → Sets があるとする。J ∈ |SetsC|。J は Sets 内の図式と思ってよ…
集合圏のように、極限と余極限が常に存在する場合に、面白いことが言えるのでメモ。以下は集合圏で書くが 一般化は色々できると思う。 Sets を集合圏とする。任意の圏 C と任意の関手 J: C → Sets があるとする。J ∈ |SetsC|。J は Sets 内の図式と思ってよ…