“…The Hopf algebra of matroids was introduced by Crapo and Schmitt [CS05a,CS05b,CS05c]. The corresponding Hopf monoid was described by Aguiar and Mahajan [AM10, §13.8.2] and has attracted recent interest; see, e.g., [San20,Sup20,AS20,Bas20]. There are many definitions of a matroid (see, e.g., [Oxl11, Section 1]), but for our purposes the most convenient definition is that a matroid is a simplicial complex Γ on vertex set I such that the induced subcomplex Γ|S " tσ P Γ : σ Ď Su is pure for every S Ď I (i.e., every facet of Γ|S has the same size).…”