Summary: We presents the algebraic theories over an arbitrary monoid, main properties and calculus rules. Ordered, rationally closed and \(\omega\)-continuous theories on the one hand and matrix and complete matrix theories on the other hand are the main subjects of our presentation. Some examples coming from algebra and computer science finish this paper.