Category of Fuzzy Topological Polygroups
In this paper, the relation between two definitions of a fuzzy topological polygroup is discussed. The collection of all fuzzy continuous functions from a fuzzy topological space Y to a fuzzy topological polygroup Z, denoted by FC(Y,Z) induces a polygroup structure from that of Z. Moreover, we study (fuzzy) topological polygroup of the polygroup FC(Y,Z) when it is equipped with various known topologies and fuzzy topologies. Also, a few properties of fuzzy topological polygroups are established and a category CFTP is formed with objects as FTP and morphisms as the fuzzy topological homomorphisms. The category CTP is seen to be a full subcategory of CFTP.