Compact Closed Category