Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03496039n
Noun Concept
Categories: Algebraic structures, Order theory
EN
complete Heyting algebra  frame  frame homomorphism  frames and locales  locale
EN
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Wikipedia
algebraic structure Wikidata
IS A
Heyting algebra
complete lattice
NAMED AFTER
Arend Heyting
STUDIED BY
category theory
Wikipedia
EN
complete Heyting algebra
Wikidata
EN
complete Heyting algebra
Wikipedia Redirections
EN
Complete heyting algebra, frame (order theory), frame homomorphism, frames and locales, locale (mathematics)
Wikidata Alias
EN
frame, locale

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License