A Monoidal View on Fixpoint Checks. - Paolo Baldan; Richard Eggert; Barbara König 001; Timo Matt; Tommaso Padoan (Log. Methods Comput. Sci., 2025)