Author(s):
Adámek, Jirí 
; Sousa, Lurdes
Date: 2009
Persistent ID: http://hdl.handle.net/10316/11177
Origin: Estudo Geral - Universidade de Coimbra
Document details
On quasi-equations in locally presentable categories II: a logic
Description
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´amek and H´ebert 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. Center of Mathematics of the University of Coimbra/FCT
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´amek and H´ebert 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. Center of Mathematics of the University of Coimbra/FCT
Document Type
Preprint
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||