A categorical framework for congruence of applicative bisimilarity in higher-order languages (Logical Methods in Computer Science, 2022)