Add compact category notation implementation.