Positive modalities in systems in the vicinity of S4 and S5 are investigated
in terms of categorial proof theory. Coherence and maximality results are
demonstrated, and connections with mixed distributive laws and Frobenius
algebras are exhibited.Comment: 43 pages, minor addition