nLab virtual bicategory

Idea

A virtual bicategory (or virtual 2-category) is a virtual double category in which every tight morphism is an identity.

Related pages

• virtual double category

References

Virtual bicategories are called multi-bicategories in:

• J. R. B. Cockett, J. Koslowski?, and R. A. G. Seely, Morphisms and modules for poly-bicategories, Theory and Applications of Categories 11.2 (2003): 15-74.

The term “virtual” was introduced by:

• Geoff Cruttwell, Mike Shulman, A unified framework for generalized multicategories [arXiv:0907.2460]