On fibrations of 2-categories:
On the 2-Grothendieck construction:
principal 2-bundle
Yoneda lemma for bicategories
para construction
Last revised on November 26, 2023 at 14:59:48. See the history of this page for a list of all contributions to it.