scientific article; zbMATH DE number 810190

MaRDI QIDQ4853372zbMATH OpenFDO

Authors Marek Zawadowski

Publication date 18 August 1996

zbMATH Keywords

algebraic theoriesBeck triplability theoremBeth definability theoremdescentleft exact categories

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Categorical logic, topoi (03G30) 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) Abelian categories, Grothendieck categories (18E10)

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

(5)

• Left exact logic
• Proof of a conjecture of A. Pitts
• Definability and descent
• 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)