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

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.StrongConnectionAssignment