The frame of compact topologies on locally finitely presentable categories - Καραζέρης, Παναγής (Διατριβή (διδακτορική) - University of Aarhus, Denmark, 1992.)