Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11177
Title: | On quasi-equations in locally presentable categories II: a logic | Authors: | Adámek, Jirí Sousa, Lurdes |
Issue Date: | 2009 | Publisher: | Centro de Matemática da Universidade de Coimbra | Citation: | Pré-Publicações DMUC. 09-11 (2009) | 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´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. | URI: | https://hdl.handle.net/10316/11177 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
On quasi-equations in locally presentable categories II.pdf | 203.96 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.