I found this statement in the wikipedia article for the modal system S5: 
I looked at the reference but it just states the claim without any further commentary, just like the wikipedia article. Can someone tell me what this means? I.e. what exactly are the categories and functors?
Is it as simple as $\square p \to q$ iff $p\to \Diamond q$ for all propositional formulas p and q?