Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
compact element in a lattice, defining also algebraic and coherent frames/locales and quantales.
Just so you know, Zoran, we have algebraic lattice.
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.
1 to 3 of 3