Category Is-Ought problem