モノイド圏Cから、適当な方法でハロ多圏やハロ複圏を作れる。どんな多圏／複圏を作るかは用途によりけり。この構成は、モノイド圏のレルムから（なんか適当な性質を持った）多圏／複圏のレルムへの関手になっている。さらに、多圏／複圏のレルム内では生成関…

θ::F⇒G が2-射で、F*, G*がそれぞれF, Gの右双対（F -| F*、G -| G*）のとき、θ†と†θΨを次のように定義する。 θ† = (η・G*);(F*・θ・G*);(F*・ε) : G*→F* †θΨ = (G*・Ψ(η));(G*・θ・F*);(Ψ(ε)・F*) : G*→F* ようするに、ジグザグを利用して作った射に関する…

R言語を使い始めようと思っているんだけど、、、なかなか、、、、