Registry · Definition VI.D02 tau-effective planned

VI.D02 — Polarity-Typed Two-Point Object (2_τ)

Categorical two-point set {+,−} with split-complex idempotent structure from lemniscate boundary L = S¹ ∨ S¹; target of polarity functional.

Book VI Part 1 Ch. 3

Dependency Graph

Depended on by (1)

VI.T01

Lean Formalization

Module: TauLib.BookVI.LifeCore.ParityBridge

Symbol: Tau.BookVI.ParityBridge.PolaritytypedTwopointObject2