Categorical properties of intuitionistic fuzzy groups

The category theory deals with mathematical structures and relationships between them. Categories now appear in most branches of mathematics and in some areas of theoretical computer science and mathematical physics, and acting as a unifying notion. In this paper, we study the relationship between the category of groups and the category of intuitionistic fuzzy groups. We prove that the category of groups is a subcategory of category of intuitionistic fuzzy groups and that it is not an Abelian category. We establish a function β : Hom(A, B) → [0; 1] × [0; 1] on the set of all intuitionistic fuzzy homomorphisms between intuitionistic fuzzy groups A and B of groups G and H, respectively. We prove that β is a covariant functor from the category of groups to the category of intuitionistic fuzzy groups. Further, we show that the category of intuitionistic fuzzy groups is a top category by establishing a contravariant functor from the category of intuitionistic fuzzy groups to the lattices of all intuitionistic fuzzy groups.