Symmetric closed categories by Schipper