スライス圏
スライス圏(slice category)/オーバー圏(over category) 圏$ C 、対象$ X \in C であるときの新しい圏が$ C / X
$ h: A \to B
$ g: B \to X
$ f: A \to X
$ g \circ h = f
$ C/X = \left\lbrace\begin{array}{ccc} A & \xrightarrow{h} & B \\ & \searrow f & \downarrow g \\ & & X \\ \end{array} \right\rbrace
確認用
Q. スライス圏
参考
関連
メモ