globular relations

n＞i≧0 として、一般化したdomをd_-^i←n、一般化したcodをd₊^i←n、一般化したidをs^n←iと書く。次をglobuar relationsと呼ぶ。n = i のときは、すべて恒等写像としてもよい（そうしたいなら）。

• d_α^i←j・d_β^j←n = d_α^i←n （i＜j＜n）

これのモデルは、Gⁿ = {0, n+1}（2元集合）として、

1. d_-^i←n(0) = 0
2. d_-^i←n(n+1) = 0
3. d₊^i←n(0) = i + 1
4. d₊^i←n(0) = i + 1

で定義できる。

sに関しては：

• s^n←j・s^j←i = s^n←i

sとdが特に関係ないなら、先のモデルで、

• s^n←i(0) = 0
• s^n←i(i+1) = n + 1

とすればよい。sだけならもっと簡単なモデルもある。

次は、レトラクションの定義を一般化したようなもの。

• d_α^j←n・s^n←i = (j＜i⇒d_α^j←i; j = i⇒Id; j＞i⇒s^j←i)

すべての等式を満たすfamily of mapsは、reflexive glubular setを定義する。これのモデルはほんの少し複雑になる。