Text this: Research on group type theory and its functorial semantic models in category logic.