Lattice Has all finite products(meet, infimum)かつ、has all finite coproducts(join, supremum)なposetal category。 Bounded lattice Terminal object(greatest element)とinitial object(least element)を持つlattice。 Heyting algebra Has all expon…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。