Registry · Definition
VII.D77
tau-effective
not_applicable
VII.D77 — Sphere as Shared Topos
Sphere as triple with recognition density and internal topos; Sloterdijk's bubbles, globes, and foams categorically formalized.