hyperdoctrines and cylindric algebras