Homotopy Type Theory
directed-complete poset > history (Rev #1, changes)
Showing changes from revision #0 to #1:
Added | Removed | Changed
Idea
similar to an omega-complete poset but for joins over arbitrary directed types instead of joins over the natural numbers.
Definition
…
See also
References
- Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, The Univalence Principle (abs:2102.06275)
Revision on March 12, 2022 at 07:31:15 by
Anonymous?.
See the history of this page for a list of all contributions to it.