Registry · Definition V.D166 tau-effective formalized

V.D166 — Black Hole (Topological Event)

A black hole in Category tau is the emergence of a non-trivial linking class ell in H_1(T^2; Z) at a base point alpha_{n_*} where the gravitational tension exceeds the spherical capacity: G(U_{n_*}) > C_sph(n_*). The BH is a topological event, not a metric singularity.

Book V Part 6 Ch. 50

Dependency Graph

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.BlackHoleTopologicalEvent