Add functor properties: preserve regular epis / monos#262

Merged

ScriptRaccoon merged 3 commits into

mainfrom

preserves-regular-epis

Jul 3, 2026

Commits on Jul 3, 2026

add functor properties: preserve regular epis / monos
ScriptRaccoon
committed
add a very useful criterion for functors preserving regular monos, remove several redundant assignments
ScriptRaccoon
committed
fix generation of contradiction proof
ScriptRaccoon
committed