始対象と終対象

雑記帳

僕用勉強ノート「圏論」の巻

Show ALL

始対象と終対象

•

始対象 (initial object)

•

定義

•

一階の言語による定義

•

終対象 (terminal object)

•

定義

•

一階の言語による定義

•

一意的に定まらない射に記号を割り当ててよいのか？

始対象 (initial object)

定義

(..)

一階の言語による定義

始対象

\emptyset

は、それぞれ以下を満たす射

X

として定義される。

i s I n i t i a l (X) :\Leftrightarrow \forall f \forall g \forall Λ [(f : X \to Λ \land g : X \to Λ) \Rightarrow f = g]

始対象の定義より、任意の対象

A : A \to A

は、終対象

\emptyset

に固有の一意的な射

!_{\emptyset, A} : \emptyset \to A

を引き起こすのだが、便利のため与えられた射

h

がその射であることを判定する述語を以下のようにして定義しておく。

i s U n i q u e A r r F r o m I n i t i a l (h, A, X) :\Leftrightarrow i s I n i t i a l (X) \land_c o d (h, A)

終対象 (terminal object)

定義

(..)

一階の言語による定義

終対象

1

は、それぞれ以下を満たす射

X

として定義される。

i s T e r m i n a l (X) :\Leftrightarrow \forall f \forall g \forall L [(f : L \to X \land g : L \to X) \Rightarrow f = g]

終対象の定義より、任意の対象

A : A \to A

は、終対象

1

に固有の一意的な射

!_{A, 1} : A \to 1

を引き起こすのだが、便利のため与えられた射

h

がその射であることを判定する述語を以下のようにして定義しておく。

i s U n i q u e A r r T o T e r m i n a l (h, A, X) :\Leftrightarrow i s T e r m i n a l (X) \land_d o m (h, A)

一意的に定まらない射に記号を割り当ててよいのか？

確かにその記号が、概念を定義する一階の言語で書かれた文の中で使用されていたら問題かもしれないが、あくまで記号の割り当ては、公理を使った演繹を間接的かつわかりやすくするために導入される表記の上だけでの話となっている。

具体的に例えば

\forall A \forall B [A = \emptyset \land B = \emptyset \Rightarrow A = B]

というように、形式化する文の中で一意的でない

\emptyset

が用いた文を想定してみる。

\emptyset

はあくまで

i s I n i t i a l (X)

を真にするような "任意の" 射 X として用いるため、上の文は

\forall A \forall B [\forall X [i s I n i t i a l (X) \Rightarrow (A = X \land B = X \Rightarrow A = B)]]

或いは

\forall A \forall B [\forall X \forall Y [(i s I n i t i a l (X) \land i s I n i t i a l (Y)) \Rightarrow (A = X \land B = Y \Rightarrow A = B)]]

などというように複数通りの解釈ができる。

Show ALL

タグ: 数学圏論

タグ一覧:

物理学 (18)
古典力学 (9)
量子力学 (5)
数学 (59)
圏論 (32)
位相 (1)
線形代数 (7)
高校数学 (4)
プログラミング (32)
C言語 (4)
Haskell (36)
Java (1)
Python (2)
PureScript (3)
日記 (49)
小ネタ (24)
音楽 (4)
ピアノ (12)
ゲーム (18)
YouTube (36)

ページの先頭へ

TakuLabo

始対象と終対象