Categorical Analysis