What is the right definition of an exact sequence of monoid homomorphisms? I can't seem to find a consistent in my searches; indeed Balmer (Remark 2.6, ...
Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...