Registry · Remark
III.R05
tau-effective
not_applicable
III.R05 — Book II Handoff
What Book II Part VIII delivers to Book III: τ enriches over itself in H_τ, Hom(A,B) ∈ Obj(τ), bipolar decomposition Hom(A,B) = e₊·Hom₊ + e₋·Hom₋, Yoneda embedding τ ↪ [τ^op, τ].