Publication:4853372
From MaRDI portal
zbMath0843.18002MaRDI QIDQ4853372
Publication date: 18 August 1996
algebraic theories; descent; Beth definability theorem; Beck triplability theorem; left exact categories
03G30: Categorical logic, topoi
18E10: Abelian categories, Grothendieck categories
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18C10: Theories (e.g., algebraic theories), structure, and semantics
03C40: Interpolation, preservation, definability
Related Items