The theory of core algebras: its completeness. Freyd, Peter — 2007 Theory and Applications of Categories [electronic only]
On the size of categories. Freyd, Peter; Street, Ross — 1995 Theory and Applications of Categories [electronic only]