Improved documentation on categories