Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Complete_Heyting_algebra> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Complete_Heyting_algebra abstract "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.".
- Complete_Heyting_algebra wikiPageID "650751".
- Complete_Heyting_algebra wikiPageLength "8039".
- Complete_Heyting_algebra wikiPageOutDegree "40".
- Complete_Heyting_algebra wikiPageRevisionID "613082415".
- Complete_Heyting_algebra wikiPageWikiLink Adjoint_functors.
- Complete_Heyting_algebra wikiPageWikiLink Cambridge_University_Press.
- Complete_Heyting_algebra wikiPageWikiLink Category:Algebraic_structures.
- Complete_Heyting_algebra wikiPageWikiLink Category:Order_theory.
- Complete_Heyting_algebra wikiPageWikiLink Category_(mathematics).
- Complete_Heyting_algebra wikiPageWikiLink Complete_Boolean_algebra.
- Complete_Heyting_algebra wikiPageWikiLink Complete_lattice.
- Complete_Heyting_algebra wikiPageWikiLink Completeness_(order_theory).
- Complete_Heyting_algebra wikiPageWikiLink Dana_Scott.
- Complete_Heyting_algebra wikiPageWikiLink Directed_set.
- Complete_Heyting_algebra wikiPageWikiLink Distributivity_(order_theory).
- Complete_Heyting_algebra wikiPageWikiLink Dual_(category_theory).
- Complete_Heyting_algebra wikiPageWikiLink Equivalence_of_categories.
- Complete_Heyting_algebra wikiPageWikiLink Functor.
- Complete_Heyting_algebra wikiPageWikiLink Galois_connection.
- Complete_Heyting_algebra wikiPageWikiLink General_topology.
- Complete_Heyting_algebra wikiPageWikiLink Heyting_algebra.
- Complete_Heyting_algebra wikiPageWikiLink Homomorphism.
- Complete_Heyting_algebra wikiPageWikiLink Implication_operation.
- Complete_Heyting_algebra wikiPageWikiLink Lattice_(order).
- Complete_Heyting_algebra wikiPageWikiLink Limit-preserving_function_(order_theory).
- Complete_Heyting_algebra wikiPageWikiLink Mathematics.
- Complete_Heyting_algebra wikiPageWikiLink Monotonic_function.
- Complete_Heyting_algebra wikiPageWikiLink Morphism.
- Complete_Heyting_algebra wikiPageWikiLink Open_set.
- Complete_Heyting_algebra wikiPageWikiLink Order_theory.
- Complete_Heyting_algebra wikiPageWikiLink Partially_ordered_set.
- Complete_Heyting_algebra wikiPageWikiLink Peter_Johnstone_(mathematician).
- Complete_Heyting_algebra wikiPageWikiLink Pointless_topology.
- Complete_Heyting_algebra wikiPageWikiLink Power_set.
- Complete_Heyting_algebra wikiPageWikiLink Scott_continuity.
- Complete_Heyting_algebra wikiPageWikiLink Steve_Vickers_(computer_scientist).
- Complete_Heyting_algebra wikiPageWikiLink Topological_space.
- Complete_Heyting_algebra wikiPageWikiLinkText "Complete Heyting algebra".
- Complete_Heyting_algebra wikiPageWikiLinkText "Frame".
- Complete_Heyting_algebra wikiPageWikiLinkText "Locale".
- Complete_Heyting_algebra wikiPageWikiLinkText "complete Heyting algebra".
- Complete_Heyting_algebra wikiPageWikiLinkText "frame".
- Complete_Heyting_algebra wikiPageWikiLinkText "frames".
- Complete_Heyting_algebra wikiPageWikiLinkText "locales".
- Complete_Heyting_algebra wikiPageWikiLinkText "logical".
- Complete_Heyting_algebra wikiPageUsesTemplate Template:Cite_book.
- Complete_Heyting_algebra wikiPageUsesTemplate Template:No_footnotes.
- Complete_Heyting_algebra subject Category:Algebraic_structures.
- Complete_Heyting_algebra subject Category:Order_theory.
- Complete_Heyting_algebra hypernym Algebra.
- Complete_Heyting_algebra type Field.
- Complete_Heyting_algebra type Redirect.
- Complete_Heyting_algebra comment "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.".
- Complete_Heyting_algebra label "Complete Heyting algebra".
- Complete_Heyting_algebra sameAs Q5156470.
- Complete_Heyting_algebra sameAs 장소_(수학).
- Complete_Heyting_algebra sameAs m.02_m6_.
- Complete_Heyting_algebra sameAs Q5156470.
- Complete_Heyting_algebra sameAs 完全海廷代数.
- Complete_Heyting_algebra wasDerivedFrom Complete_Heyting_algebra?oldid=613082415.
- Complete_Heyting_algebra isPrimaryTopicOf Complete_Heyting_algebra.