[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
240: 2021/06/17(木)18:03 ID:fmi4nuTk(13/15) AAS
>>239

つづき

例 2.1. 半順序のハッセ図においては,半順序の最小元が始対象であり,最大元が終対象である.
論理式の〈グラフ〉においては,矛盾 K が始対象であり,恒真 J が終対象である.

例 2.2. 集合と関数の〈グラフ〉Set においては,空集合 H が始点であり,任意の単元集合 t?u が
終点である.

外部リンク:ja.wikipedia.org
始対象と終対象
始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。
点付き圏 (pointed category) とは零対象を持つ圏を言う。
(引用終り)
以上
1-
あと 762 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.113s*