Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeApr 7th 2014

    compact element in a lattice, defining also algebraic and coherent frames/locales and quantales.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 7th 2014

    Just so you know, Zoran, we have algebraic lattice.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 10th 2014

    Oh, thanks, Todd. There is also compact element in the generality of partial orders; this entry is however started with quantale generalization in mind. We can reorganize in future if the material grows. It is likely the only entry where coherent frames are introduced so far.