Finite Presentability of Finitary Monads, Sifted Colimits, and Stabilization Moduli

For a finitary monad T on Set, the forgetful functor U: Alg(T) → Set creates sifted colimits. Consequently, sifted-colimit preservation by U is automatic across ordinary universal algebra and cannot detect finiteness phenomena such as finite equational bases. We therefore relocate finiteness to the intrinsic ambient category Mnd (Set) of finitary monads (equivalently, to the category Law of Lawvere theories). Following Kelly-Power, we call T finitely presentable if it is finitely presentable as an object of Mnd (Set). Using the classical equivalence Mnd (Set) ≃ Law, we prove that this is equivalent to finite presentation of the corresponding Lawvere theory by finitely many operation symbols of finite arity and finitely many equations. Motivated by the Adámek-Rosický decomposition of objects in locally finitely presentable categories, we introduce complexity-filtered approximation systems and a refined stabilization modulus $\tilde{\mu}_{\kappa}(X)$. We show that $\tilde{\mu}_{\kappa}(X)