information about Closed monoidal category field