nLab virtual equipment

Contents

Contents

Idea

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.

Definition

Definition

A virtual equipment is a virtual double category in which all units and all restrictions exist.

This is (CruttwellShulman, def. 7.6).

References

On a string diagram-calculus for (virtual) double categories with (virtual) pro-arrow equipments:

Last revised on October 31, 2022 at 11:30:17. See the history of this page for a list of all contributions to it.