Pullback-stable regular epimorphisms - #344

Draft

ScriptRaccoon wants to merge 7 commits into

mainfrom

pullback-stable-regular-epis

Commits on Aug 21, 2026

remove redundant implication
ScriptRaccoon
committed
0115049
fix schema for proof references
ScriptRaccoon
committed
172d99f
add properties: pullback-stable regular epis / pushout-stable regular monos
ScriptRaccoon
committed
1db7970
rework regularity and coregularity proofs; use the stability properties directly
ScriptRaccoon
committed
8ca0bf4
Set_ff has pullback-stable regular epis
ScriptRaccoon
committed
95d8d17
Set_ne has pushout-stable regular monos
ScriptRaccoon
committed
6366d68
describe regular monos and regular epis in Met_c
ScriptRaccoon
committed
df9deaa