Skip to content

Complete topos implies cocomplete - #444

Merged
ScriptRaccoon merged 3 commits into
ScriptRaccoon:mainfrom
dschepler:complete-topos-implies-cocomplete
Oct 30, 2026
Merged

Complete topos implies cocomplete#444
ScriptRaccoon merged 3 commits into
ScriptRaccoon:mainfrom
dschepler:complete-topos-implies-cocomplete

Reorganize entries, and add a few missing ones

fca861b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
test
succeeded Oct 30, 2026 in 2m 34s