Research on group type theory and its functorial semantic models in category logic - Jian-Gang Tang; Yimamujiang Aishan; Ji-Yu Liu; Jia-Yin Peng (PLoS ONE, 2025)