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