TY - RPRT TI - Profinite Monads, Profinite Equations, and Reiterman's Theorem AU - Liang-Ting Chen AU - Jiri Adamek AU - Stefan Milius AU - Henning Urbat PY - 2016 UR - https://arxiv.org/abs/1511.02147 ID - 1511.02147 ER -