直積と直和 圏 の二つの対象 を固定します。 このとき が直積であるとは、任意の対象 と射 に対して を満たす射 が一意的に存在するときを言います。 またこのような一意的な射のことを と表します。 このような性質を満たす対象を と書いたりしますが、圏の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。