Add total/cototal category properties - #254

Open

dschepler wants to merge 16 commits into

ScriptRaccoon:mainfrom

dschepler:total-category

Commits on Jun 26, 2026

Add total/cototal category properties
dschepler
committed
ea4d3da

Commits on Jun 30, 2026

Fix notation in definitions
dschepler
committed
dce21a3

Commits on Jul 25, 2026

Apply suggestions from code review

dschepler
and
ScriptRaccoon
authored
4e10c80
Merge remote-tracking branch 'origin/main' into total-category
dschepler
committed
e864554
Fill in missing references
dschepler
committed
a4d0184
Simplify a couple proofs using the fact that a cototal category is "hyper-cocomplete" to adapt the terminology in Kelly
dschepler
committed
b453565
Add proof that Haus is not cototal
dschepler
committed
0f2395a
Add missing target="_blank" to some external references
dschepler
committed
08f6822

Commits on Jul 30, 2026

Fix implications for non locally essentially small categories
dschepler
committed
008c153

Commits on Aug 2, 2026

reformulate proof that Grp is total
ScriptRaccoon
committed
12689ac
change citation style; small fixes
ScriptRaccoon
committed
2d5d53e

Commits on Aug 4, 2026

do not check redundancies for Unif
ScriptRaccoon
committed
a7b0780