Skip to content

Add quasitopos property#243

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

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

Update to provide a proof that Sep(j) is a reflective subcategory; an…

e119c2e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jul 2, 2026 in 24s