Contents

Definition

A $\sigma$-frame is a $\sigma$-complete lattice $(L, \leq, \bot, \vee, \top, \wedge, \Vee)$ with a family of dependent terms

representing the countably infinitary distributive property for the lattice.

Examples

• Sierpinski space, denoted as $\Sigma$ or $1_\bot$, is the initial $\sigma$-frame.

See also

• sigma-complete lattice

• distributive lattice

• measure

• probability measure

• Dedekind cut (disambiguation)

• Dedekind real numbers (disambiguation)

References

• Alex Simpson, Measure, randomness and sublocales.

• Univalent Foundations Project, Homotopy Type Theory – Univalent Foundations of Mathematics (2013)