Repository navigation

Pullback-stable regular epimorphisms - #344

Merged

ScriptRaccoon merged 18 commits into

mainfrom

pullback-stable-regular-epis

Oct 20, 2026

Merged

Pullback-stable regular epimorphisms#344
ScriptRaccoon merged 18 commits into
mainfrom
pullback-stable-regular-epis

Commits on Oct 19, 2026
Commits on Oct 20, 2026
- rework regularity and coregularity proofs; use the stability properties directly
  ScriptRaccoon
  committed
  9554d7f
- Set_ff has pullback-stable regular epis
  ScriptRaccoon
  committed
  a3f5183
- Set_ne has pushout-stable regular monos
  ScriptRaccoon
  committed
  8ad144b
- describe regular monos and regular epis in Met_c
  ScriptRaccoon
  committed
  e222e68
- decide pushout-stable regular monos for three categories
  ScriptRaccoon
  committed
  6203c72
- Unif does not have pullback-stable regular epis
  ScriptRaccoon
  committed
  a90f30b
- Unif has pushout-stable regular monos
  ScriptRaccoon
  committed
  479985f
- Met_c does not have pullback-stable regular epis
  ScriptRaccoon
  committed
  3ec70b7
- describe regular monos in Met and Met_oo
  ScriptRaccoon
  committed
  b9144ec
- Met_oo has pushout-stable regular monos
  ScriptRaccoon
  committed
  4aa2a7e
- classify the regular monos in LRS
  ScriptRaccoon
  committed
  6e2dc46
- LRS has no pushout-stable regular monos
  ScriptRaccoon
  committed
  99a2a79
- Sch has no pullback-stable regular epis
  ScriptRaccoon
  committed
  74d4f5a
- fix end-to-end tests after reworking implications
  ScriptRaccoon
  committed
  ae6bd8f