2010-08-11から1日間の記事一覧
前モノイド圏の組み合わせ的/図式的な基礎論だろう。 URL: http://arxiv.org/abs/math/0306371 Title: Braided Premonoidal Coherence Author: W. P. Joyce Pages: 28pages
モノイドが作用する集合の圏化。Mがモノイドのとき「M作用を持つ集合」の圏は SetM = [M+1, Set]Cat と書ける。ここで、[-, -]Cは、Cが閉圏のときのベキ(指数)。M+1は、モノイドMに0セルの単元集合を足して圏とみなしたもの。同様に、Vがモノイド圏のとき…