Homotopy Type Theory directed-complete poset > history (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Idea

< directed-complete poset

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)

Last revised on June 9, 2022 at 19:21:09. See the history of this page for a list of all contributions to it.