Toposes, Tripes and Theories
Category Theory Lectures Notes by Barr and Wells