圏のなかの「すごく特別な対象」として始対象と終対象がある(init, termと略称する)。モノイド圏だと単位対象もすごく特別(unitと略称)。これらの特別な対象は一意に決まるとは限らないが、一個だけ選択〈select | choice | distinguish〉して、the init, the term, the unit を考える。
特別な対象からの射をポイント〈point〉、特別な対象への射をコポイント〈copoint〉と呼ぶ。
特別な対象 | init | term | unit |
---|---|---|---|
ポイント | (initポイント) | termポイント | unitポイント |
コポイント | initコポイント | (termコポイント) | unitコポイント |
括弧で囲ってあるものはつまらない。次の表を埋めるのは良い練習。
圏 | モノイド積 | termポイント | unitポイント | initコポイント | unitコポイント |
---|---|---|---|---|---|
集合圏 | 直積 | ||||
部分写像の圏 | 直積 | ||||
部分写像の圏 | 直和 | ||||
有限次元実ベクトル空間の圏 | テンソル積 | ||||
有限次元実ベクトル空間の圏 | 直和 | ||||
有限集合とマルコフ核の圏 | 直積 | ||||
リストモナドのクライスリ圏 | (無し) | - | - | ||
集合圏の自己関手圏 | 関手の結合 |
※ 集合圏の自己関手圏のモノイド積の射パートは自然変換の横結合〈horizontal composition〉。