Normal category of partitions of a set

Abstract

Let $T_X$ be the semigroup of all non-invertible transformations on an arbitrary set $X$. It is known that $T_X$ is a regular semigroup. The principal right(left) ideals of a regular semigroup $S$ with partial left(right) translations as morphisms form a normal category $\mathcal{R}(S)$($\mathcal{L}(S)$). Here we consider the category $\Pi (X)$ of partitions of a set $X$ and show that it admits a normal category structure and that $\Pi (X)$ is isomorphic to the category $\mathcal{R}(T_X)$. We also consider the normal dual $N^{\ast }\mathcal{P}(X)$ of the power-set category $\mathcal{P}(X)$ associated with $X$ and show that $N^{\ast }\mathcal{P}(X)$ is isomorphic to the partition category - $\Pi (X)$ of the set $X$.

Cited by in corpus (1)

• Cross-connections of the singular transformation semigroup