a braided monoidal category is called a ribbon category if the category is left rigid and has a family of "twists". the former means that for each object formula_6 there is another object (called the left dual), formula_7, with maps