Profiniteness, Monadicity and Universal Models in Modal Logic

Matteo De Berardinis, Silvio Ghilardi

Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we rec…