Earned Topos
Category τ is a Grothendieck topos — but unlike classical topos theory, this is not assumed. The subobject classifier Ω_τ and the Cartesian closed structur…
Mathematics
Structural support result
ENRICH
Book I
Public
Manuscript
Kernel
In plain language
Category τ is a Grothendieck topos — but unlike classical topos theory, this is not assumed. The subobject classifier Ω_τ and the Cartesian closed structur…
Overview
Category τ is a Grothendieck topos — but unlike classical topos theory, this is not assumed. The subobject classifier Ω_τ and the Cartesian closed structure are earned from the kernel axioms.
Result Statement
τ is a Grothendieck topos, earned from kernel. Subobject classifier Ω_τ and CCC structure derived. Status: Internally addressed.