Record: DEF-RENORM-COMMON-REFINEMENT
Source: Section V.B.
Short definition
Two raw refinement presentations are common-refinement equivalent when they are related by admitted refinement moves inside a source- and target-preserving categorical congruence.
Website-critical condition
The physical carrier transport must satisfy
Only then does the raw functor descend to the quotient scale category.
Read source manuscript. Research manuscript — not peer reviewed.