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

zbMATH Open1196.18003MaRDI QIDQ3574402FDOQ3574402

Authors: Jiří Adámek, Lurdes Sousa 

Publication date: 9 July 2010

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

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)

Cited In (8)

• 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
• Title not available (Why is that?)

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)