On the Category of EQ-algebras

On the Category of EQ-algebras

In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a sin...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Bulletin of the Section of Logic 2021, Vol.50 (4), p.397-419
Hauptverfasser: Akhlaghinia, Narges, Aaly Kologani, Mona, Borzooei, Rajab Ali, Xiao, Long Xin
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Boolean
category theory
eq-algebras
Equality
free eq-algebras
Social Sciences
universal algebra
variety
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a singleton.
ISSN:0138-0680
2449-836X
DOI:10.18778/0138-0680.2021.01