By the late 20th century the mood had swung back in favour of visualization: Mancosu (2005) provides an excellent survey. Some books advertise their defiance of anti-visual puritanism in their titles, for example Visual Geometry and Topology (Fomenko 1994) and Visual Complex Analysis (Needham 1997); mathematics educators turn their attention to pedagogical uses of visualization (Zimmerman and Cunningham 1991); the use of computer-generated imagery begins to bear fruit at research level (Hoffman 1987; Palais 1999), and diagrams find their way into research papers in abstract fields: see for example the papers on higher dimensional category theory by Joyal et al. (1996), Leinster (2004) and Lauda (2005, Other Internet Resources). But attitudes to the epistemology of visual thinking remain mixed. The discussion is mostly concerned with the role of diagrams in proofs.