Language-theoretic problems in certain matrix monoids

We study problems inspired by language theory in certain matrix monoids which are extensions of free monoids. In particular, we characterize free two-element sets, morphisms and morphic equality sets in these monoids.