When is Flatness Coherent?

DOI10.1081/AGB-200063333zbMath1086.18008OpenAlexW1970306067MaRDI QIDQ5466663

Panagis Karazeris, Tibor Beke, Jiří Rosický

Publication date: 25 August 2005

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1081/agb-200063333

zbMATH Keywords

accessible categoriesflat functorscoherent formulas

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items

Priestley-type dualities for partially ordered structures, Some aspects of topological Galois theory, Flatness, weakly lex colimits, and free exact completions, Fraïssé's construction from a topos-theoretic perspective, Definable additive categories: purity and model theory

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Purity and injectivity in accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• Theories of presheaf type
• Definability problems for modules and rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item