Registry · Definition V.D172 tau-effective formalized

V.D172 — Blueprint Monoid

The blueprint monoid M_BH = ({blueprints}, Fuse_omega, b_vac) has carrier set of all blueprints, fusion as the binary operation, and vacuum blueprint b_vac = (1^+, 1^-) as identity. It provides the algebraic structure governing black hole combinations.

Book V Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBipolarFusion

Symbol: Tau.BookV.Cosmology.BlueprintMonoid