. There is a recent monograph Picado, Jorge, Pultr, Aleš (2012). Frames and locales: Topology without points. Frontiers in Mathematics, vol. 28, Springer, Basel. where one also finds a more extensive bibliography. For relations with logic: Vickers, Steven (1996). Topology via Logic. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press. For a more concise account see the respective chapters in: Pedicchio, Maria Cristina, Tholen, Walter (Eds.). Categorical Foundations - Special Topics in Order, Topology, Algebra and Sheaf Theory. Encyclopedia of Mathematics and its Applications, Vol. 97, Cambridge University Press, 2003, pp. 49–101. Hazewinkel, Michiel (Ed.). Handbook of Algebra. Vol. 3, North-Holland, Amsterdam, 2003, pp. 791–857. Grätzer, George, Wehrung, Friedrich (Eds.). Lattice Theory: Special Topics and Applications. Vol. 1, Springer, Basel, 2014, pp. 55–88. Category theory General topology