In category theory, a branch of mathematics, a globular set is a higher-dimensional generalization of a directed graph. Precisely, it is a sequence of sets X 0 , X 1 , X 2 , … {\displaystyle X_{0},X_{1},X_{2},\dots } equipped with pairs of functions s n , t n : X n → X n − 1 {\displaystyle s_{n},t_{n}:X_{n}\to X_{n-1}} such that s n ∘ s n + 1 = s n ∘ t n + 1 , {\displaystyle s_{n}\circ s_{n+1}=s_{n}\circ t_{n+1},} t n ∘ s n + 1 = t n ∘ t n + 1 .
In category theory, a branch of mathematics, a globular set is a higher-dimensional generalization of a directed graph. Precisely, it is a sequence of sets X 0 , X 1 , X 2 , … {\displaystyle X_{0},X_{1},X_{2},\dots } equipped with pairs of functions s n , t n : X n → X n − 1 {\displaystyle s_{n},t_{n}:X_{n}\to X_{n-1}} such that s n ∘ s n + 1 = s n ∘ t n + 1 , {\displaystyle s_{n}\circ s_{n+1}=s_{n}\circ t_{n+1},} t n ∘ s n + 1 = t n ∘ t n + 1 .
Source: Wikipedia "Globular set" · CC BY-SA 4.0
Share this article: X · Bluesky