Topology, Algebra and Categories in Logic : Proceedings.Nashville, 28.7.-1.8.2013 (Vanderbilt University,Faculty of the Graduate School, 2013)