Categories and De Interpretatione