写像の図式順適用
定義
図式順の写像の適用を$ {,} と書くことにする
写像$ 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