モーフィズム（射）の定義
話題
About: カテゴリー（圏）
この記事の目次
開始コンテキスト
- 読者は、カテゴリー（圏）の定義を知っている。
ターゲットコンテキスト
- 読者は、モーフィズム（射）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意の、オブジェクトたちの順序付きペア \((O_1, O_2)\)に対して、アロー（矢印）\(O_1 \rightarrow O_2\)
2: 注
典型例としては、オブジェクトはセット（集合）であり、モーフィズム（射）はマップ（写像）であるが、それらは、必ずしもそうでないように一般化されている。
したがって、一般には、"オブジェクト"は単に漠然とオブジェクトであり、"アロー（矢印）"は単に漠然とアロー（矢印）である。
通常は、モーフィズム（射）は、あるカテゴリー（圏）の要素として、そう呼ばれる。
