I.D59 — Earned Topos

The earned topos E_tau = PSh(Cat_tau) with Omega_tau as subobject classifier. Bundles the Grothendieck topos structure with the four-valued classifier and truth arrow.