Institution-independent model theory as a categorical model theory relies heavily on category theory. This preliminary chapter gives a brief overview of the categorical concepts and results used in this book also allows us to fix some notations and terminology. The reader without enough familiarity with category theory is advised to use one of the textbooks on category theory available in the literature.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Categories

  • Răzvan Diaconescu

摘要

Institution-independent model theory as a categorical model theory relies heavily on category theory. This preliminary chapter gives a brief overview of the categorical concepts and results used in this book also allows us to fix some notations and terminology. The reader without enough familiarity with category theory is advised to use one of the textbooks on category theory available in the literature.