Finite coproducts, coregularity and coexactness for profinite interior algebras

Matteo De Berardinis

In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\text{Set}$. Then,…