The motivation of this study is to generalize this result
in terms of category theory. We shall show that the notion
of extensive categories [1]} plays a central role.
We shall define terminologies and state our main results, while
observing the Lovàsz's work.
