XXX装備圏は XXX-supplied category のこと。XXX-supplied category ＝ category with XXX-supply.
- 例：余可換コモノイド装備圏 ＝ 準マルコフ圏
- 例：可換モノイド装備圏 ＝ 準余マルコフ圏
- 例：フロベニウス代数装備圏 ＝ ハイパーグラフ圏
- 例：可換余可換双代数装備圏 ＝ 準双マルコフ圏
マルコフ圏は、copy/del のdel〈discard | discharge〉の自然性を仮定している。これは半デカルト性と同値。delの自然性＝半デカルト性 を落とした公理で準マルコフ圏が定義される。準余マルコフ圏、準双マルコフ圏も同様。
装備圏の装備〈supply〉を変えることによって、様々な圏が定義できる。
- 内部圏： ターゲット圏を変えると、色々な圏ができる。
- 豊饒圏： 豊饒化ベース圏〈enriching category〉を変えると、色々な圏ができる。
- 装備圏： 装備代数系を変えると、色々な圏ができる。
