Add total/cototal category properties - #254

Open

dschepler wants to merge 9 commits into

ScriptRaccoon:mainfrom

dschepler:total-category

Commits on Jun 26, 2026

Add total/cototal category properties
dschepler
committed

Commits on Jun 30, 2026

Fix notation in definitions
dschepler
committed

Commits on Jul 30, 2026

Fix implications for non locally essentially small categories
dschepler
committed