Jirí Adámek; Lurdes Sousa;
On quasi-equations in locally presentable categories II: a logic
Quasi-equations given by parallel pairs of finitary morphisms represent properties of objects: an object satisfies the property if its contravariant homfunctor merges the parallel pair. Recently Adámek and Hébert characterized subcategories of locally finitely presentable categories specified by quasi-equations. We now present a logic of quasi-equations close to Birkhoff’s classical equational logic. We prove that it is complete in all locally finitely presentable categories with effective equivalence relations.
Pré-publicações do Departamento de Matemática da Universidade de Coimbra