対象がスパンの圏

圏\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で、以下を可換にするもの

圏\mathscr{A}から圏\mathrm{Span}_\mathscr{A}(A_1,A_2)を作るイメージ

性質

終対象は直積

関連

参考