scientific article; zbMATH DE number 810190

zbMATH Open0843.18002MaRDI QIDQ4853372FDOQ4853372

Authors: Marek Zawadowski 

Publication date: 18 August 1996

Title of this publication is not available (Why is that?)

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

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)

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)