Serving as a generalization of many examples of fuzzy algebraical systems equipped with a binary operation, we introduce fuzzy composition graphs and show that categories formed by such graphs are, in the sense of Wyler [10], top categories. By using this, we investigate projective and injective objects in such categories, and we determine when various limits and colimits, such as terminal and initial objects, products, coproducts, pullbacks, pushouts, equalizers, coequalizers, kernels and cokernels, exist in categories of this type and what they look like. These results are then applied to the categories of fuzzy sets, fuzzy categories, fuzzy groupoids, fuzzy monoids, fuzzy groups and fuzzy abelian groups.