858: ポインテッドマップ（写像）たちのウェッジサム（楔和）

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ポインテッドマップ（写像）たちのウェッジサム（楔和）の定義

---

話題

About: セット（集合）

---

この記事の目次

• 開始コンテキスト
• ターゲットコンテキスト
• オリエンテーション
• 本体
• 1: 構造化された記述

---

開始コンテキスト

• 読者は、マップ（写像）の定義を知っている。
• 読者は、ポインテッドセット（集合）たちのウェッジサム（楔和）の定義を知っている。

---

ターゲットコンテキスト

• 読者は、ポインテッドマップ（写像）たちのウェッジサム（楔和）の定義を得る。

---

オリエンテーション

本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。

---

本体

---

1: 構造化された記述

ここに'構造化された記述'のルールたちがある。

エンティティ（実体）たち:
$\{(S_{\alpha },p_{\alpha })|\alpha \in A\}$: $\subseteq \{\text{ 全てのポインテッドセット（集合）たち }\}$, $A\in \{\text{ 全てのアンカウンタブル（不可算）かもしれないインデックスセット（集合）たち }\}$
${\vee }_{\alpha \in A}{S}_{\alpha }$: $=\text{ 当該ウェッジサム（楔和） }$
$(S,p)$: $\in \{\text{ 全てのポインテッドセット（集合）たち }\}$
$\{f_{\alpha }|\alpha \in A\}$: $f_{\alpha }:S_{\alpha }\to S$, $\in \{\text{ 以下を満たす全てのマップ（写像）たち、つまり、 }{f}_{\alpha }(p_{\alpha })=p\}$
$\ast {\vee }_{\alpha \in A}{f}_{\alpha }$: $:{\vee }_{\alpha \in A}{S}_{\alpha }\to S$, $=[p_{\alpha }]\text{ を }p\text{ へマップするカノニカルマップ（写像） }$
//

コンディションたち:
//

---

参考資料

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>