High-definition Categories