Add quasitopos property#243

Open

dschepler wants to merge 4 commits into

ScriptRaccoon:mainfrom

dschepler:quasitopos

Commits on Jun 11, 2026

Add quasitopos property
dschepler
committed

Commits on Jun 12, 2026

Make some adjustments according to review comments
dschepler
committed

Commits on Jun 13, 2026

Add Grothendieck quasitopos property and the canonical example of separated presheaves on a topological space
dschepler
committed

Commits on Jun 16, 2026

More updates for the SepPsh(X) example
dschepler
committed