Registry · Corollary IV.C6 tau-effective not_formalized IV.C6 — Spacetime Symmetries The Poincar\'e group acts as a family of endofunctors on tau3: translations T_a, Lorentz transformations , and the... Book IV Part 8 Ch. 72