Categories
摘要
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.