## Idea ## similar to an [[omega-complete poset]] but for joins over arbitrary [[directed type]]s 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](https://arxiv.org/abs/2102.06275))