昨日紹介したデイヴィッド・スピヴァックの圏論教科書 "Category theory for scientists" に関連する情報をもう少し。arXiv版PDF http://arxiv.org/pdf/1302.6946v1.pdf の10ページ、"1.4 Category theory references" にこんなことが書いてありました。 現…

圏論でスパンという概念があります。2つの射 f:X→A、g:X→B を一緒に考えたものです。全体の形状を描くと： X ・ ／＼ ／ ＼ ・ ・ A Bまー、こんな感じでしょうか。で、Xはいいとして、f, A, g, B を何と呼ぶか？ 英語だとlegとfootの区別があるので、 left …