On the Semigroup of Equational Classes of Finite Functions

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01090642
Contributor : Miguel Couceiro <>
Submitted on : Wednesday, December 3, 2014 - 8:13:14 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:02 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

297