Add the forgetful functor Ring → Mon and its left adjoint#233

ScriptRaccoon merged 1 commit into

mainScriptRaccoon/CatDat:mainfrom

group-ring-functorScriptRaccoon/CatDat:group-ring-functorCopy head branch name to clipboard