Skip to content

Add quasitopos property#243

Open
dschepler wants to merge 5 commits into
ScriptRaccoon:mainfrom
dschepler:quasitopos
Open

Add quasitopos property#243
dschepler wants to merge 5 commits into
ScriptRaccoon:mainfrom
dschepler:quasitopos

Add proof that Grothendieck quasitopoi have effective cocongruences

b2df8a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jun 17, 2026 in 18s