Registry · Definition
V.D344
tau-effective
not_formalized
V.D344 — Admissible Endomorphism Monoid HolEnd^adm_tau
Sub-monoid of End(Germ_omega) preserving holonomy grading and sigma-involution. H_partial[omega] is isomorphic to HolEnd^adm_tau as graded monoids at E1. Admissibility is the tau-native analogue of gauge fixing.