トラス（truss）圏構成

Cが小さい圏のとき、そのトラス圏Truss(C)を次のように定義できる。D = Truss(C)とする。trussは藁束＜わらたば＞の意味で解釈。

• Dの対象は、|C|の部分集合である。|D| = Pow(|C|)
• A, B⊆|C|として、Cの射の集合M⊆Cが、「f∈M⇒dom(f)∈A, cod(f)∈B」のとき、Mは(A, B)-トラスである、という。
• D(A, B)はすべての(A, B)-トラスの集合。
• A⊆|C|に対して、id_Aは、{id_a | a∈A}
• M∈D(A, B), N∈D(B, C)に対して、{f;g | f∈M, g∈N}をM;Nとして結合を定義する。

以上の定義は、|D| = Pow(C)なので、Cのフル・トラス圏とも呼ぶ。適当な制限を課して|D|⊆Pow(C)としても同様な定義ができる。制限付きトラス圏構成はCのベキ圏構成を含む。