1. Locally Presentable and Accessible Categories;Adámek,1994
2. On the duality between varieties and algebraic theories;Adámek;Algebra Universalis,2003
3. S. Awodey, S. Breiner, A theory of logical schemes, in preparation.
4. When is flatness coherent;Beke;Comm. Algebra,2005
5. C. Butz, Logical and cohomological aspects of the space of points of a topos, PhD thesis, Universiteit Utrecht, 1996.