Repository navigation

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

Commits on Oct 28, 2026
- Add several implications of the form elementary topos + limits of some shape -> colimits of opposite shape
  dschepler
  committed
  3306c53
- Remove a couple newly redundanta assigments
  dschepler
  committed
  4665c11
Commits on Oct 30, 2026
- Reorganize entries, and add a few missing ones
  
  ScriptRaccoon
  and
  dschepler
  committed
  fca861b