Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng. "Research on group type theory and its functorial semantic models in category logic." PLoS ONE (2025). https://doi.org/10.1371/journal.pone.0326301