Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeApr 7th 2014
   • PermaLink
   Author: zskoda
   Format: MarkdownItex[[compact element in a lattice]], defining also algebraic and coherent frames/locales and quantales.

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

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeApr 7th 2014
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexJust so you know, Zoran, we have [[algebraic lattice]].

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

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeApr 10th 2014
   • PermaLink
   Author: zskoda
   Format: MarkdownItexOh, thanks, Todd. There is also [[compact element]] in the generality of [[partial order]]s; 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 frame]]s are introduced so far.

   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.