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