Registry · Remark V.R279 tau-effective not_applicable

V.R279 — The residual manifold in LQG

LQG retains a residual manifold ontology (the embedding manifold Sigma) even though the smooth structure is not used in quantization. LQG's graphs and SU(2) spin labels are shadows of the manifold's rotation group. Category tau's profinite structure has no embedding manifold and is not a shadow of any manifold symmetry.

Book V Part 7 Ch. 63

Lean Formalization

Module: