非厳密な多圏

次を読めば参考になるはず。

• Title: Quasistrict symmetric monoidal 2-categories via wire diagrams
• Author: Bruce Bartlett
• URL: http://arxiv.org/abs/1409.2148
• Pages: 18p.

• Title: Polycategories via pseudo-distributive laws
• Author: Richard Garner
• URL: http://arxiv.org/abs/math/0606735
• Pages: 51p.

それと、

• Title: Pseudo-Categories
• Author: N. Martins-Ferreira
• URL: http://arxiv.org/abs/math/0604549
• Pages: 29p.

Martins-Ferreiraの擬圏は、2-圏のなかで定義する。一方、Garnerの付録Aにある擬ノーション（擬モナド、擬コモナド、擬分配律）は双圏で定義する。

非厳密モノイド圏Cに対するPoly(C)の構成にどこまで必要かよく分からない。