Exponentiation of relational systems with respect to strong homomorphisms.
Bednařík, František, Šlapal, Josef (1999)
Mathematica Pannonica
Similarity:
Bednařík, František, Šlapal, Josef (1999)
Mathematica Pannonica
Similarity:
Miroslav Novotný (1993)
Czechoslovak Mathematical Journal
Similarity:
Miroslav Novotný (1996)
Czechoslovak Mathematical Journal
Similarity:
Antoni Chronowski, Miroslav Novotný (1995)
Archivum Mathematicum
Similarity:
In this paper the notion of a ternary semigroup of morphisms of objects in a category is introduced. The connection between an isomorphism of categories and an isomorphism of ternary semigroups of morphisms of suitable objects in these categories is considered. Finally, the results obtained for general categories are applied to the categories and which were studied in [5].
Mara Alagić (1991)
Publications de l'Institut Mathématique
Similarity:
Hans-Jürgen Vogel (2003)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...