Aspects of 2-dimensional elementary topos theory