Fix f is cartesian closed if f (Fix f) is.
Delete discrete category