We study two categories, both having interval-valued fuzzy sets as objects. One has certain functions between the domains as morphisms and the other is expanded to include certain relations between the domains as morphisms. We describe some of the basic properties of each of these categories. We lift t-norms and negations to the category with relations. The t-norms are used to define a “tensor product” on that category.