Showing changes from revision #6 to #7:
Added | Removed | Changed
Whenever editing is allowed on the nLab again, this article should be ported over there.
A $\sigma$-frame is a $\sigma$-complete lattice $(L, \leq, \bot, \vee, \top, \wedge, \Vee)$ such that the countably infinitary distributive property is satisfied:
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.
Alex Simpson, Measure, randomness and sublocales.
Univalent Foundations Project, Homotopy Type Theory – Univalent Foundations of Mathematics (2013)
Last revised on June 10, 2022 at 15:24:28. See the history of this page for a list of all contributions to it.