圏には、様々な一般化があります。モノイド圏、豊饒圏、内部圏、高次圏、…。一般化のひとつの方向として、input/outputのアリティ（項数）を増やすことが考えられます。複圏（multicategory）と多圏（polycategory）がその方向での一般化です。圏は 1-in 1-o…