"Model Theory and Topoi: A Collection of Lectures by Various Authors" - читать интересную книгу автора (Lawvere F.W., Maurer C., Wraith G.C.)