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

…

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.