Text this: The frame of compact topologies on locally finitely presentable categories /