Please use this identifier to cite or link to this item: http://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
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: http://hdl.handle.net/10316/11177
Rights: openAccess
Appears in Collections:FCTUC Matemática - Vários

Files in This Item:
File Description SizeFormat
On quasi-equations in locally presentable categories II.pdf203.96 kBAdobe PDFView/Open
Show full item record

Page view(s)

184
checked on Aug 19, 2019

Download(s) 50

376
checked on Aug 19, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.