I'd suggest going for semantic clarity over compression, but leverage native functions like JSON.stringify() and JSON.parse() and model them as an array, e.g.
categories = ['spring', 'summer', 'winter']
This is like #4, but slightly different in that it's using JSON which you can generate and parse unambiguously.