Open AccessOn the Category of EQ-algebras
Author(s) -
N. Akhlaghinia,
M. Aaly Kologani,
R. A. Borzooei,
Xiao Long Xin
Publication year - 2021
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2021.01
Subject(s) - coproduct , mathematics , singleton , pure mathematics , algebra over a field , 2 category , combinatorics , closed category , pregnancy , genetics , functor , biology
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom