Entries from 2019-01-19 to 1 day

冪対象に関する定理

定理 を示す ① 射の定義 評価写像を使った以下の図式が可換である。 また、以下の図式も可換である。 次に、2つの評価写像 と、以下の2つの可換図式を使って 2つの射 を定義する。 ここで、以下を可換にする唯一の射をと定義する。 すなわち、 が成り立つ。 …