定理 を示す ① 射の定義 評価写像を使った以下の図式が可換である。 また、以下の図式も可換である。 次に、2つの評価写像 と、以下の2つの可換図式を使って 2つの射 を定義する。 ここで、以下を可換にする唯一の射をと定義する。 すなわち、 が成り立つ。 …
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.