ハロ多圏の利用

ハロ多圏はかなり使える感じだ。

1. モノイド圏から自明な（単純な）ハロ多圏を作る。
2. ハロ多圏にジャンクションと等式的公理（書き換えの2-多セル）を入れて拡張する
3. 拡張した多圏からモノイド圏を作る

この手順でモノイド圏の拡張ができる。直接拡張するより、ハロ多圏を経由した方がずっと分かりやすい。ただし、多圏から圏を作る部分が技術的に整備すべきところで、多圏からのパッキング（あるいはシールド、シュリンクラップ）のような手順を形式化する必要がある。