Equational logic and modal logic. A great deal of work has shown ways in which equational logic and modal logic are “dual”,   but to spell this out in detail would require quite a bit more category theory than we need in the rest of this entry. 