Homotopy Type Theory
sigma-frame > history (Rev #7, changes)
Showing changes from revision #6 to #7:
Added | Removed | Changed
Contents
< sigma-frame
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In set theory
A -frame is a $\sigma$-complete lattice such that the countably infinitary distributive property is satisfied:
In homotopy type theory
A -frame is a $\sigma$-complete lattice with a family of dependent terms
representing the countably infinitary distributive property for the lattice.
Examples
- Sierpinski space, denoted as or , is the initial -frame.
See also
References
Revision on June 10, 2022 at 15:24:28 by
Anonymous?.
See the history of this page for a list of all contributions to it.