generated at
2/21/2025, 8:02:32 PM
余スパン
cospan
図式 (圏論)
A_1\rightarrow X\leftarrow A_2
https://en.wikipedia.org/wiki/Span_(category_theory)#Cospans
http://www.chimaira.org/docs/CategoryOfTheories.htm#s2