Talk:Compact closed category