Registry · Theorem
IV.T350
tau-effective
not_formalized
IV.T350 — Symmetries as Endofunctors
Every physical symmetry is an endofunctor of tau3: equationeq:ch70-symmetry-functor % Symmetry
Book IV
Part 8
Ch. 72