Re: Closed symmetric monoidal category