Homotopy Type Theory directed-complete poset > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | ~~Removed~~ | ~~Chan~~ged

~~Idea~~

~~similar to an~~

~~omega-complete poset~~ ~~but for joins over arbitrary~~ ~~directed types instead of joins over the~~ ~~natural numbers~~.

~~Definition~~
…
~~See also~~

~~omega-complete poset~~

~~References~~

~~Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, The Univalence Principle (abs:2102.06275)~~

Revision on June 9, 2022 at 23:21:09 by Anonymous?. See the history of this page for a list of all contributions to it.