Categorical Interpretation of Modal Structures under Bisimulation | Publicación