generated at
scrap:関手と自然変換の計算に出てくる演算子記号とか
関手と自然変換の計算に出てくる演算子記号とか - 檜山正幸のキマイラ飼育記 (はてなBlog)
cripped at 2019/08/29 3:18
#檜山正幸のキマイラ飼育記

記号
演算反図式順図式順
射の結合⚪︎;
関手の適用丸括弧.
関手の結合・*
自然変換の適用下付き添字.
自然変換の縦結合⚪︎;
関手と自然変換のヒゲ結合・*
自然変換の横結合・*