A Categorical and 2‑Categorical Framework for Factor Lattices and Coarse‑Graining Dynamics

This work develops a categorical and 2‑categorical framework for the structure of invariant factors in measure‑preserving dynamical systems. The approach formalizes factor lattices, coarse‑graining operations, and effective theories within a unified categorical language. A factor functor and a functor of observables are introduced, together with a 2‑category whose 1‑morphisms encode coarse‑grainings and whose 2‑morphisms represent mod‑0 equivalences. Within this setting, a global representation theorem is established: every effective theory induced by a family of observables corresponds uniquely (mod‑0) to a maximal sufficient factor. The framework is completed by an Absolute Closure Axiom, ensuring stability under equivalence, internal composition, limits, colimits, and coarse‑graining dynamics. The resulting system is self‑contained and admits natural extensions toward higher‑categorical, topos‑theoretic, and geometric formulations, outlining a broader research program on the categorical foundations of dynamical structure and theory formation.