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

exact categoriesequational logiclocally finitely presentable categoriesquasi-equationsfinitary morphismslogic of quasi-equations

Mathematics Subject Classification ID

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

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

(8)

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

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)