Appendix A — Formal Rigor for UTMF
Self-adjointness, balanced monoidal functor existence, hypercharge uniqueness, and anomaly cancellation.

Terminology and Normalization

1) Self-adjointness of the topological mass operator

2) Existence of a balanced monoidal functor into SM representations

Reference: Joyal–Street, “The geometry of tensor calculus I/II.”

3) Uniqueness of hypercharge coefficients

4) Family-wise anomaly cancellation

References

  • Joyal, A.; Street, R. "The geometry of tensor calculus I/II."
  • Beachy, D. (listed works in main paper references).