スパンの圏Span
圏$ \mathscr{A}と、2つの対象$ A_1,A_2\in\mathscr{A}を固定して、
$ \mathrm{Span}_\mathscr{A}(A_1,A_2)のように表記する
対象はスパン$ A_1\leftarrow X\rightarrow A_2 射は圏$ \mathscr{A}のもの$ f: X\to Yで、以下を可換にするもの
https://gyazo.com/a44f5fde88897e422f759c592935c95f
圏$ \mathscr{A}から圏$ \mathrm{Span}_\mathscr{A}(A_1,A_2)を作るイメージ
https://gyazo.com/d9b15cdf3596170b3f05dcd9a3d59b04
性質
関連
参考