余スパン
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