IV.R180 — Noether theorem as corollary

In Category tau, Noether's theorem is a corollary: the categorical structure determines which natural transformations exist, each automatically satisfies naturality, and reading this in E1 produces a conservation law while reading it from a different angle produces a symmetry. Both are faces of naturality.