圏の誤解

どうも、圏の公理とは別に、なんらかの事例によって刷り込まれた期待、思いこみのようなものがあって、

• 圏の対象（の実体）は××○○でなくてはならない。
• 圏の射（の実体）は××○○でなくてはならない。
• その他、idは、compは、… は××○○でなくてはならない。

のような誤解がすごく根強くあるようだ。

刷り込みが起こる典型的例は集合と写像だと思うので、それをぶち壊すためにしりとりや行列を出しているのだが、しりとりを最初の例として出会った人は、しりとりからまた刷り込みを得るんだろう。ムーー、まー致し方ないか。