how does the relationship between the module category of an associative algebra and the algebraic representation category of its multiplicative algebraic monoid and/or group relate to the relationship between the finitely cocomplete algebroid doctrine and the symmetric monoidal finitely cocomplete algebroid doctrine?