Add quasitopos property#243

Open

dschepler wants to merge 2 commits into

ScriptRaccoon:mainfrom

dschepler:quasitopos

Commits on Jun 19, 2026

Add quasitopos, Grothendieck quasitopos properties and canonical example of separated presheaves on a topological space
dschepler
committed

Commits on Jun 27, 2026

Generalize to prove that all quasitopoi have effective cocongruences; also, the core of the argument was an implication that turned out to make several manual assignments of non-regularity redundant
dschepler
committed