構造追加の記法
#圏論の記法
ひとつの
圏
に追加の構造を与えて
指標
を作ったとき
わかりやすい
記法
の案
モノイダル圏
$ C_⊗
例えば
$ C
に
$ ⊗
をくっつけたら