Commit 2023-09-04 16:01 b1caad96
View on Github →refactor: colimits in ModuleCat (#6925) This PR refactors the construction of colimits of modules in order to prove that the forgetful functor to abelian groups preserves colimits.
refactor: colimits in ModuleCat (#6925) This PR refactors the construction of colimits of modules in order to prove that the forgetful functor to abelian groups preserves colimits.