scientific article; zbMATH DE number 810190

MaRDI QIDQ4853372zbMATH OpenFDO

Authors Marek Zawadowski

Publication date 18 August 1996

zbMATH Keywords

descentalgebraic theoriesBeth definability theoremBeck triplability theoremleft exact categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abelian categories, Grothendieck categories (18E10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Interpolation, preservation, definability (03C40)

Recommendations

• Proof of a conjecture of A. Pitts
• Descent and duality
• Definability and descent
• Left exact logic
• Descent morphisms and a van Kampen theorem in categories of lax algebras

Cited in

(4)

• Left exact logic
• Proof of a conjecture of A. Pitts
• Descent Data and Absolute Kan Extensions
• Adjointness in descent theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853372)