Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

.: download

Author(s)
Jirí Adámek; Lurdes Sousa;

Title
On quasi-equations in locally presentable categories II: a logic

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.

Preprint series
Pré-publicações do Departamento de Matemática da Universidade de Coimbra

Issue
09-11

Year
2009

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia