On the Semigroup of Equational Classes of Finite Functions

Miguel Couceiro (1, 2) , Tamas Waldhauser (3) , Jorge Almeida (4)

1 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
2 ORPAILLEUR - Knowledge representation, reasonning
3 Bolyai Institute [Szeged]
4 UNIVERSIDADE DO PORTO - Departamento de Matemática Pura, Faculdade de Ciências

We consider the set of equtional classes of finite functions endowed with the operation of class composition. Thus defined, this set gains a semigroup structure. This paper is a contribution to the understanding of this semigroup. We present several interesting properties of this semigroup. In particular, we show that it constitutes a topological semigroup that is profinite.

Domaines: Mathématiques [math]

Miguel Couceiro, Tamas Waldhauser, Jorge Almeida. On the Semigroup of Equational Classes of Finite Functions. IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL), 2013, May 2013, Toyama, Japan. ⟨10.1109/ISMVL.2013.48⟩. ⟨hal-01090642⟩