IV.D152 — Fix(s)

Fix(s)[n] is the fixed-point subobject of HolEnd_tau(s)[n] consisting of endomorphisms that commute with the strong vacuum: f in HolEnd_tau(s)[n] such that f composed with Gamma_s^*[n] equals Gamma_s^*[n] composed with f.