Title: Models, logics, and higher-dimensional categories
Subjects: Category theory; homological algebra -- Categories with structure -- Fibered categories, Categories (Mathematics), Mathematical logic and foundations -- Model theory -- Properties of classes of models, Mathematical logic and foundations -- Proceedings, conferences, collections, Category theory; homological algebra -- Categories with structure -- Double categories, $2$-categories, bicategories and generalizations, Category theory; homological algebra -- Categories and theories -- Theories (e.g. algebraic theories), structure, and semantics, Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts, Congresses, Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.)., Model theory, Mathematical logic and foundations -- Algebraic logic -- Categorical logic, topoi, Logic, symbolic and mathematical, Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.)