On quasi-equations in locally presentable categories. II: A logic

MaRDI QIDQ3574402zbMATH OpenFDO

Authors Jiří Adámek, Lurdes Sousa

Publication date 9 July 2010

zbMATH Keywords

equational logicexact categoriesfinitary morphismslocally finitely presentable categorieslogic of quasi-equationsquasi-equations

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Foundations, relations to logic and deductive systems (18A15) Accessible and locally presentable categories (18C35) Abelian categories, Grothendieck categories (18E10)

Recommendations

• Quasi-equations in locally presentable categories
• Completeness of category-based equational deduction
• Complete Categorical Deduction for Satisfaction as Injectivity
• A logic of orthogonality.
• scientific article; zbMATH DE number 1841841

Cited in

(9)

• A logic of orthogonality.
• Logic, sheaves, and factorization systems
• scientific article; zbMATH DE number 621854 (Why is no real title available?)
• scientific article; zbMATH DE number 1841841 (Why is no real title available?)
• Axiomatizability in inclusive equational logics
• Completeness of category-based equational deduction
• Quasi-equations in locally presentable categories
• Complete Categorical Deduction for Satisfaction as Injectivity
• A logic of injectivity

This page was built for publication: On quasi-equations in locally presentable categories. II: A logic

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