14/08/17 10:02:50.89 ruDVRpF3.net
圏の主人公って「対象」なのかな？「射」なのかな？ | TETRA'S MATH
「しりとりの圏」を圏とみなそうとするとき、まず、1字1字があって、
URLﾘﾝｸ(artet-math.img.jugem.jp)
それを始域、終域とする文字列を考えるのか。
URLﾘﾝｸ(artet-math.img.jugem.jp)
それとも、まず文字列ありきで、
URLﾘﾝｸ(artet-math.img.jugem.jp)
始域、終域の一致でそれらの関係をひとまとまりのものとして捉えるのか…
URLﾘﾝｸ(artet-math.img.jugem.jp)
どっちのイメージが圏の本質に近いのだろう？
で、検索していたら、檜山さんの有限集合と写像の圏もJavaScriptで書いてみた、遊んでみてねにて、「圏の主役は射です。」と書いてあるのを発見。なるほど。
URLﾘﾝｸ(math.artet.net)