PS

2013-08-21から1日間の記事一覧

Lattice

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…