写像を横結合とする
集合の話をメインでするときのページ内ローカルルール
圏論の記法
縦横が入れ替わるので注意
集合を離散圏
大文字$ X,Y,Z
写像を函手
大文字$ F\colon X \to Y
$ G\colon Y \to Z
写像の図式順結合を函手の図式順結合
$ FG=F*G\colon X\to Z
集合の要素を圏の対象
$ x \in X
写像の図式順適用を函手の図式順適用
$ x.F \in Y
$ x.FG=(x.F).G