On $$\infty $$-Cosmoi of Bicategories

Accessible ∞-cosmoi

“…This is another instance of the canonical 2-cosmos structure on a 2-category with flexible limits. As pointed out in the proof of Proposition 2.6 of [14], the NIP holds in Icon.…”

“…In Proposition 2.6 of [14], Riehl and Wattal show that the 2-category Icon of bicategories, normal pseudofunctors and icons is a 2-cosmos with chosen isofibrations the representable ones, equally the normal ones. This is another instance of the canonical 2-cosmos structure on a 2-category with flexible limits.…”