Predicate Transformers, (co)Monads and Resolutions

Pierre Hyvernat

This short note contains random thoughts about a factorization theorem for closure/interior operators on a powerset which is reminiscent to the notion of resolution for a monad/com…