theorem · THM-RENORM-RAW-FUNCTOR
Raw Certified Transport
Result in the source manuscript
Record: THM-RENORM-RAW-FUNCTOR
Source result: Theorem V.2.
Status: Proved.
Catalog summary
Certified carrier maps satisfying the identity and composition laws define
The functor still remembers the chosen raw refinement presentation.
Read source manuscript. Research manuscript — not peer reviewed.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.