I.D41 — Subobject Classifier Preview

Preview of Omega_tau: Truth4 will serve as the subobject classifier in the earned topos (Part XIII). The four truth values give tau's internal logic its paraconsistent character.