  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 \mathscr{P}(X)$ of the power-set category $\mathscr{P}(X)$
associated with $X$ and show that $N^\ast \mathscr{P}(X)$ is isomorphic to the
partition category - $\Pi(X)$ of the set $X$.
