categorical (model theory)