Closed braided monoidal categories

Interactions between monoidal closed and braided category structures.

instance CategoryTheory.ihom.instIsLeftAdjointTensorRightOfClosed {C : Type u_1} [Category.{v_1, u_1} C] [MonoidalCategory C] [BraidedCategory C] (A : C) [Closed A] : (MonoidalCategory.tensorRight A).IsLeftAdjoint

instance CategoryTheory.ihom.instPreservesLimitsOfShapeOppositeObjFunctorFlipInternalHom {C : Type u_1} [Category.{v_1, u_1} C] [MonoidalCategory C] [BraidedCategory C] (A : C) [MonoidalClosed C] (J : Type u_2) [Category.{v_2, u_2} J] : Limits.PreservesLimitsOfShape J (MonoidalClosed.internalHom.flip.obj A)