A logic of injectivity. Adamek, J.; Hebert, M.; Sousa, L. — 2007 Journal of Homotopy and Related Structures