nLab sigma-frame

Contents

Contents

Definition

A σ\sigma-frame is a σ \sigma -complete lattice (L,,,,,,)(L, \leq, \bot, \vee, \top, \wedge, \Vee) such that for all elements aLa \in L and sequences s:Ls:\mathbb{N} \to L,

a n:s(n)= n:as(n)a \wedge \Vee_{n:\mathbb{N}} s(n) = \Vee_{n:\mathbb{N}} a \wedge s(n)

Examples

See also

References

Last revised on February 4, 2024 at 18:39:50. See the history of this page for a list of all contributions to it.