Logic via hyperdoctrines: equivalence relation example