写像の図式順適用
定義
図式順の写像の適用を{,}と書くことにする
写像f\colon x→y
要素\bar x \in x
\bar x{,}f = f(\bar x) \in y
性質
写像の結合
\bar x{,}f;g= (\bar x{,}f){,}g
2021/3/18
\bar x;;fから\bar x,fにした
数式環境でなんか落ち着かないから
バックスラッシュはscrapboxの記法と干渉する
{} で括ると空白がいいかんじ\bar x;;f
\bar x{;;}f
\bar x;{;}f
\bar x{;}{;}f
\bar x,f
\bar x{,}f