Please use this identifier to cite or link to this item:
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.
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)

checked on Aug 4, 2022

Download(s) 50

checked on Aug 4, 2022

Google ScholarTM


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