Symmetric closed categories door Schipper