The frame of compact topologies on locally finitely presentable categories - Καραζέρης, Παναγής