Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	On quasi-equations in locally presentable categories II: a logic
Publication Date:	2009
Authors:	- Jirí Adámek - Lurdes Sousa
Abstract:	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.
Institution:	DMUC 09-11
Download:	Not available