2

pilin kiwen pi ma Katekoli lon toki pona

88
0
$$$$

toki! mi jan Mawi li jan pi nanpa wan pi musi toki #o_toki_e_toki_pi_soweli_Mopumopu_kepeken_toki_Nijon . tenpo ni la, mi wile toki e pilin kiwen pi ma Katekoli (category lon toki Inli) lon toki pona. mi wile e ni: jan pi toki pona li kama sona e pilin. jan pi toki ike li lukin e lipu ni la, jan ni li kama toki e toki pona. pilin pona!

o kama jo e sitelen pi ma Katekoli

jan pi sona Matematike li kama sona e ijo mute e linja pi ona mute. tan ni la, ijo en linja li sitelen pi sona Matematike li sitelen pi ma Katekoli.

pilin kiwen pi ma Katekoli

ma Katekoli $\mathscr{C}$ li alasa e ni:

  • kulupu $\mathrm{ob}(\mathscr{C})$ pi ijo ale
  • kulupu $\mathscr{C}(A, B)$ pi nasin ale tan ijo $A$ tawa ijo $B$

(nasin $f$ li tan ijo $A$ tawa ijo $B$ la, sitelen $f: A \rightarrow B$ li lon)

  • nasin pini $\mathrm{id}_A: A \rightarrow A$ pi ijo $A$
  • nasin suli $g \circ f: A \rightarrow C$ pi nasin $f: A \rightarrow B$ pi nasin $g: B \rightarrow C$

ma Katekoli $\mathscr{C}$ li jo e lawa ni:

  • nasin $f$ li tan ijo $A$ tawa ijo $B$ la, nasin suli $\mathrm{id}_B \circ f$ en nasin suli $f \circ \mathrm{id}_A$ li nasin sama $f$.
  • nasin tu wan $A \xrightarrow{f} B \xrightarrow{g} C \xrightarrow{h} D$ li lon la, nasin suli $h \circ (g \circ f)$ pi nasin $g \circ f$ pi nasin $h$ li nasin $(h \circ g) \circ f$ pi nasin $f$ pi nasin sama $h \circ g$.
投稿日:20221226

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Mittum sum; impilia Artemisiae. Saepe collyram edo cardiacum semper!

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中