クウォシェント（商）カテゴリー（圏）の定義
話題
About: カテゴリー
この記事の目次
開始コンテキスト
- 読者は、カテゴリー上のコングルーエンスの定義を知っている。
ターゲットコンテキスト
- 読者は、クウォシェント（商）カテゴリー（圏）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( C\): \(\in \{\text{ 全てのカテゴリーたち }\}\)
\( \sim\): \(\in \{\text{ 上の全てのコングルーエンスたち } C\}\)
\(*C'\): \(\in \{\text{ 全てのカテゴリーたち }\}\)
//
コンディションたち:
\(Obj (C') = Obj (C)\).
\(\land\)
\(Mor (C') = Mor (C) / \sim\).
//
2: 自然言語記述
任意のカテゴリー\(C\)、\(C\)上の任意のコングルーエンス\(\sim\)に対して、以下を満たすカテゴリー\(C'\)、つまり、\(Obj (C') = Obj (C)\)および\(Mor (C') = Mor (C) / \sim\)
