Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A proarrow equipment on a virtual double category or virtual equipment for short is a virtual double category equipped with the same kind of structure that makes an ordinary double category into a proarrow equipment.
Virtual equipments are the structures that support structures of generalized multicategories.
A virtual equipment is a virtual double category in which all units and all restrictions exist.
This is (CruttwellShulman, def. 7.6).
On a string diagram-calculus for (virtual) double categories with (virtual) pro-arrow equipments:
David Jaz Myers, String Diagrams For Double Categories and (Virtual) Equipments [arXiv:1612.02762]
David Jaz Myers, String Diagrams for (Virtual) Proarrow Equipments (2017) [slides: pdf, pdf]
Last revised on October 31, 2022 at 11:30:17. See the history of this page for a list of all contributions to it.