Registry · Definition
IV.D170
tau-effective
formalized
IV.D170 — Strong connection assignment
A strong connection assignment at stage n is a map Gamma_n: E(C_s[n]) -> Aut(T_n^col) assigning to each edge of the finite cell complex an automorphism of the color phase fiber, the tau-analogue of a lattice gauge configuration.
Book IV
Part 5
Ch. 41