Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Complete_Heyting_algebra> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Complete_Heyting_algebra abstract "In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which 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.".
- Complete_Heyting_algebra wikiPageID "650751".
- Complete_Heyting_algebra wikiPageRevisionID "580689688".
- Complete_Heyting_algebra hasPhotoCollection Complete_Heyting_algebra.
- Complete_Heyting_algebra subject Category:Algebraic_structures.
- Complete_Heyting_algebra subject Category:Order_theory.
- Complete_Heyting_algebra type AlgebraicStructures.
- Complete_Heyting_algebra type Artifact100021939.
- Complete_Heyting_algebra type Object100002684.
- Complete_Heyting_algebra type PhysicalEntity100001930.
- Complete_Heyting_algebra type Structure104341686.
- Complete_Heyting_algebra type Whole100003553.
- Complete_Heyting_algebra type YagoGeoEntity.
- Complete_Heyting_algebra type YagoPermanentlyLocatedEntity.
- Complete_Heyting_algebra comment "In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which 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.".
- Complete_Heyting_algebra label "Complete Heyting algebra".
- Complete_Heyting_algebra label "完全海廷代数".
- Complete_Heyting_algebra sameAs m.02_m6_.
- Complete_Heyting_algebra sameAs Q5156470.
- Complete_Heyting_algebra sameAs Q5156470.
- Complete_Heyting_algebra sameAs Complete_Heyting_algebra.
- Complete_Heyting_algebra wasDerivedFrom Complete_Heyting_algebra?oldid=580689688.
- Complete_Heyting_algebra isPrimaryTopicOf Complete_Heyting_algebra.