Registry · Theorem
V.T112
tau-effective
formalized
V.T112 — Blueprint Monoid Closure
The blueprint monoid M_BH is a well-defined monoid: Fuse_omega is closed (fusion of blueprints yields a blueprint), associative, has identity b_vac, but is NOT invertible -- the boundary holonomy algebra contains nilpotent elements, so Fuse_omega^{-1} does not exist for all blueprints.
Book V
Part 6
Ch. 51