Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
Авторы: Makkai M., Reyes G.E.
Аннотация:
We arrived at the idea of writing a book on the connections of
first order model theory and categories in early 19 74 when we realized
that it was impossible to communicate some of our fresh results and
proofs because of the lack of a basic theory and a coherent terminology
connecting logic and categories. As expected in such cases, it has
taken us longer than promised to many people to complete the arduous
task of writing this book.