- Tytuł:
- On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions
- Autorzy:
- Vogel, Hans-Jürgen
- Powiązania:
- https://bibliotekanauki.pl/articles/728750.pdf
- Data publikacji:
- 2001
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
halfdiagonal-halfterminal-symmetric category
diagonal inversion
partial order relation
subidentity
equation - Opis:
- The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family $d = (d_{A}: A → A⨂ A | A ∈ |Rel|)$ of diagonal morphisms, a family $t = (t_{A}: A → I | A ∈ |Rel|)$ of terminal morphisms, and a family $∇ = (∇_{A}: A ⨂ A → A | A ∈ |Rel|)$ of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category). Besides of certain identities this system of axioms contains two identical implications. In this paper is shown that there is an equivalent characterizing system of axioms for hdht∇s-categories consisting of identities only. Therefore, the class of all small hdht∇-symmetric categories (interpreted as hetrogeneous algebras of a certain type) forms a variety and hence there are free theories for relational structures.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 139-163
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki