...イド圏と考えます。
BはCat豊饒圏とします。つまり、B0= |B| を対象(0セル)の集合として、A, B∈B0 に対するB(A, B)が(小さい)圏になっています。そして、結合(composition...(A, A) が適切に与えられているとします。
ホム圏B(A, B)内の対象(1セル)は、f, gなどの記号で表し、ホム圏B(A, B)内の射(2セル)は、α、βなどとします。ホム圏内の射=2セル...し、ホム圏B(A, B)内の射(2セル)は、α、βなどとします。ホム圏内の射=2セルの結合はいつものとおり「;」を使い、compで与えられる結合のほうはスター積とも呼び、二項演算子...
作成日: 2012-05-16 14:22:41