Union, 和集合 集合族 について を と書き、集合族 のunionと呼ぶ。つまり、 Disjoint union 集合族 について を と書き、集合族 のdisjoint unionと呼ぶ。 Coproduct 圏論においては、 の代わりに が使われ、coproductと呼ばれる。 Dependent sum 型理論に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。