Grothendieck monoids of extriangulated categories

We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3 subcategories using the Grothendieck monoid. Second, in good situations, we show that the Grothendieck monoid of the localization of an extriangulated category is isomorphic to the natural quotient monoid of the original Grothendieck monoid. This includes the cases of the Serre quotient of an abelian category and the Verdier quotient of a triangulated category. As a concrete example, we introduce an intermediate subcategory of the derived category of an abelian category, which lies between the abelian category and its one shift. We show that intermediate subcategories bijectively correspond to torsionfree classes in the abelian category, and then compute the Grothendieck monoid of an intermediate subcategory.