More examples of categories that are not Cauchy complete (WIP) - #356

Draft

ScriptRaccoon wants to merge 5 commits into

mainfrom

Commits on Sep 5, 2026

one-way implies Cauchy complete
ScriptRaccoon
committed
dcde19e
pullbacks implies Cauchy complete
ScriptRaccoon
committed
8fe6dbd
coequalizers of kernel pairs implies Cauchy complete
ScriptRaccoon
committed
78d61bc

Commits on Sep 6, 2026

add the category of coproducts of Euclidean spaces
ScriptRaccoon
committed
c917004
add the category of finitely generated free ZxZ-modules (WIP)
ScriptRaccoon
committed
a89f756