>>565 Can you explain which is the demand for category theory? Or its just because sets arn't kate-gory enough? Frankly, I don't get it.