scrap:関手と自然変換の計算に出てくる演算子記号とか
関手と自然変換の計算に出てくる演算子記号とか - 檜山正幸のキマイラ飼育記 (はてなBlog)
cripped at 2019/08/29 3:18
#檜山正幸のキマイラ飼育記
table:記号
演算 反図式順 図式順
射の結合 ⚪︎ ;
関手の適用 丸括弧 .
関手の結合 ・ *
自然変換の適用 下付き添字 .
自然変換の縦結合 ⚪︎ ;
関手と自然変換のヒゲ結合 ・ *
自然変換の横結合 ・ *