A limit lifting theorem for fibrations between bicategories | Synapse