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...
| Päätekijät: | , , , |
|---|---|
| Aineistotyyppi: | Artikkeli |
| Kieli: | English |
| Julkaistu: |
Lodz University Press
2021-12-01
|
| Sarja: | Bulletin of the Section of Logic |
| Aiheet: | |
| Linkit: | https://czasopisma.uni.lodz.pl/bulletin/article/view/7888 |