Record: THM-RENORM-ADMISSIBLE-TRANSPORT
Source result: Theorem V.4.
Status: Main theorem; proved.
Catalog summary
GLC, preservation of the distinguished vector, Dirichlet covariance, raw functoriality, and common-refinement invariance produce fixed-sector transport, a raw certified functor, and its unique descent to the quotient scale category.
Dependency
The theorem has three substantive interfaces:
- GLC identifies the represented carrier arrow.
- Dirichlet covariance certifies the invariant sector.
- Common refinement removes presentation dependence.
SNC may be added as analytic scale regularity, but the proof does not use it.
Read source manuscript. Research manuscript — not peer reviewed.