Complete Heyting algebra
http://dbpedia.org/resource/Complete_Heyting_algebra an entity of type: Artifact100021939
일반위상수학에서 장소(場所, 영어: locale 로케일[*])는 위상 공간의 열린집합의 부분 순서 집합을 추상화한 구조이다. 장소의 범주의 대상은 완비 헤이팅 대수와 같지만, 장소의 사상은 헤이팅 대수의 사상과 다르다.
rdf:langString
在数学特别是序理论中，完全海廷代数是作为格的海廷代数。完全海廷代数是三个不同范畴的对象，它们是范畴CHey，locales的范畴Loc，它的frames的范畴Frm。
rdf:langString
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales, and its opposite, the category Frm of frames. Although these three categories contain the same objects, they differ in their morphisms, and thus get distinct names. Only the morphisms of CHey are homomorphisms of complete Heyting algebras.
rdf:langString
rdf:langString
Complete Heyting algebra
rdf:langString
장소 (수학)
rdf:langString
完全海廷代数
xsd:integer
650751
xsd:integer
1057855696
rdf:langString
locale
rdf:langString
Locale
rdf:langString
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales, and its opposite, the category Frm of frames. Although these three categories contain the same objects, they differ in their morphisms, and thus get distinct names. Only the morphisms of CHey are homomorphisms of complete Heyting algebras. Locales and frames form the foundation of pointless topology, which, instead of building on point-set topology, recasts the ideas of general topology in categorical terms, as statements on frames and locales.
rdf:langString
일반위상수학에서 장소(場所, 영어: locale 로케일[*])는 위상 공간의 열린집합의 부분 순서 집합을 추상화한 구조이다. 장소의 범주의 대상은 완비 헤이팅 대수와 같지만, 장소의 사상은 헤이팅 대수의 사상과 다르다.
rdf:langString
在数学特别是序理论中，完全海廷代数是作为格的海廷代数。完全海廷代数是三个不同范畴的对象，它们是范畴CHey，locales的范畴Loc，它的frames的范畴Frm。
xsd:nonNegativeInteger
8001