"Model theory and topoi" - читать интересную книгу автора (Lawvere F.W., Maurer C., Wraith G.C. (eds.))