Displaying similar documents to “Quotients and homomorphisms of relational systems”

Groupoids assigned to relational systems

Ivan Chajda, Helmut Länger (2013)

Mathematica Bohemica

Similarity:

By a relational system we mean a couple ( A , R ) where A is a set and R is a binary relation on A , i.e. R ⊆ A × A . To every directed relational system 𝒜 = ( A , R ) we assign a groupoid 𝒢 ( 𝒜 ) = ( A , · ) on the same base set where x y = y if and only if ( x , y ) ∈ R . We characterize basic properties of R by means of identities satisfied by 𝒢 ( 𝒜 ) and show how homomorphisms between those groupoids are related to certain homomorphisms of relational systems.

Paramedial groupoids

Jung R. Cho, Jaroslav Ježek, Tomáš Kepka (1999)

Czechoslovak Mathematical Journal

Similarity: