Homotopy Type Theory directed-complete poset > history (Rev #1)

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 02:31:15 by Anonymous?. See the history of this page for a list of all contributions to it.