generated at
closed monoidal category