Reiterman’s Theorem on Finite Algebras for a Monad

DOI10.1145/3464691zbMath1505.18009arXiv2101.00942OpenAlexW3198235119MaRDI QIDQ5056351

Stefan Milius, Jiří Adámek, Liang-Ting Chen, Henning Urbat

Publication date: 8 December 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.00942

zbMATH Keywords

monadprofinite algebraspseudovariety

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Products, amalgamated products, and other kinds of limits and colimits (08B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

This page was built for publication: Reiterman’s Theorem on Finite Algebras for a Monad