Add extremal (co)generating sets and single extremal (co)generators#280

Open

dschepler wants to merge 12 commits into

ScriptRaccoon:mainfrom

dschepler:extremal-generators

Commits on Jul 18, 2026

Add extremal (co)generating sets and single extremal (co)generators

dschepler
and
ScriptRaccoon
committed
Add extremal cogenerators for Met, Met_oo, PMet
dschepler
committed

Commits on Jul 21, 2026

Commits on Jul 22, 2026

Yet more improvements to address review comments
dschepler
committed
Another review comment addressed
dschepler
committed
Condition on extremal generators in a thin category is actually an equivalence; use that to rework the proof that the walking span has an extremal cogenerator
dschepler
committed