1. Adámek, J.: A Logic of coequations. Proceedings CSL 2005, Lect. Notes Comput. Sci. 3634, pp.70–86. Springer (2005)
2. Adámek J.: The intersection of algebra and coalgebra. Theoret. Comput. Sci. 366, 82–97 (2006)
3. Adámek J., Hébert M., Sousa L.: A Logic of Injectivity. J. Homotopy and Related Structures 2, 13–47 (2007)
4. Adámek J., Hébert M., Sousa L.: A Logic of Orthogonality. Arch. Math (Brno) 42, 309–334 (2006)
5. Adámek J., Herrlich H., Strecker G.: Abstract and Concrete Categories. John Wiley, New York (1990)