scientific article; zbMATH DE number 810190
From MaRDI portal
Publication:4853372
zbMath0843.18002MaRDI QIDQ4853372
Publication date: 18 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Abelian categories, Grothendieck categories (18E10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Interpolation, preservation, definability (03C40)
Related Items (2)
This page was built for publication: