なんかありそうなんだが

次のものは関係しそうだ。

1. 圏を係数とする行列
2. 豊饒圏
3. プロ関手
4. コボルディズムとTQFT
5. 単体的圏からの関手

Aが何でもいいから集合として、Δ(A) を、Aから作った（抽象的）単体的複体の圏だとする。この圏の射は退化写像と辺写像から作られたもの。次元は Δ⁰ⁱ(A) = A となるように付ける。Δ(A) は次元による階数付けを持つが、高次圏も次元による階数付けを持つ。階数を保つか適当にシフトするような写像 Δ(A)→C で、結合律と単位律に相当する一貫性条件を持つものは、豊饒圏や圏係数行列の概念を包含するようなものである気がする。

一般化TQFTってのを調べればいいのか？