A logic of injectivity. Adamek, J.; Hebert, M.; Sousa, L. — 2007 Journal of Homotopy and Related Structures
More on orthogonality in locally presentable categories M. Hebert; J. Adamek; J. Rosický — 2001 Cahiers de Topologie et Géométrie Différentielle Catégoriques