nLab
virtual equipment

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

Section 7 of

Revised on November 12, 2010 16:10:28 by Urs Schreiber (131.211.36.78)