Closed braided monoidal categories #
Interactions between monoidal closed and braided category structures.
instance
CategoryTheory.ihom.instIsLeftAdjointTensorRightOfBraidedCategoryOfClosed
{C : Type u}
[Category.{v, u} C]
[MonoidalCategory C]
[BraidedCategory C]
(A : C)
[Closed A]
: