Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A virtual bicategory is a virtual double category in which every tight morphism is an identity.
Virtual bicategories are called multi-bicategories in:
The terminology on this page was introduced by:
Created on June 9, 2025 at 17:14:17. See the history of this page for a list of all contributions to it.