Add extremal monomorphisms and extremal epimorphisms - #320

Open

ScriptRaccoon wants to merge 7 commits into

mainfrom

Commits on Aug 6, 2026

add more special morphism rules
ScriptRaccoon
committed
8b0d176
add extremal monos and epis
ScriptRaccoon
committed
8433eb9
small improvements for morphism properties
ScriptRaccoon
committed
d3b15bb
add the forked commutative square category
ScriptRaccoon
committed
17445e9
add example of a non-strong extremal monomorphism
ScriptRaccoon
committed
bb61a4d
add page with relationships between epimorphisms and monomorphisms
ScriptRaccoon
committed
c42c975
images on content pages are full width per default
ScriptRaccoon
committed
296cdcf