"Functorial semantics of algebraic theories(free web version)" - читать интересную книгу автора (Lawvere F.W.)