Showing changes from revision #2 to #3:
Added | Removed | Changed
A -frame is a $\sigma$-complete lattice 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)