Images and preimages of subobjects under the morphisms in a new category of fuzzy sets-I

This paper is the third in a sequence of papers on categories by the same authors. In one of the papers, a new category of fuzzy sets was defined and a few results were established pertaining to that special category of fuzzy sets S. Here, the concept of a fuzzy subset of a fuzzy set is defined under the category S. Besides, the notions of images and preimages of fuzzy sets are also defined under morphisms in the category of fuzzy sets and how smoothly these images and preimages behave under the action of these morphisms is analyzed. Finally, results have been proved on algebra of morphisms of this category S.