Research on group type theory and its functorial semantic models in category logic

• Jian-Gang Tang ,

  Contributed equally to this work with: Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Project administration, Supervision, Writing – original draft, Writing – review & editing

  * E-mail: jg-tang@163.com, tangjiangang@scujj.edu.cn

  Affiliations Division of Mathematics, Sichuan University Jinjiang College, Meishan, China, College of Mathematics and Statistics, Kashi University, Kashi, Xinjiang, China, College of Mathematics and Statistics, Yili Normal University, Yining, Xinjiang, China

  https://orcid.org/0000-0002-2680-5013

  ⨯
• Yimamujiang Aishan ,

  Contributed equally to this work with: Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

  Roles Investigation, Writing – original draft

  Affiliation College of Mathematics and Statistics, Kashi University, Kashi, Xinjiang, China

  ⨯
• Ji-Yu Liu ,

  Contributed equally to this work with: Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

  Roles Investigation, Writing – original draft

  Affiliation Civil Aviation Logistics Technology Co., Ltd., Chengdu, Sichuan, China

  ⨯
• Jia-Yin Peng

  Contributed equally to this work with: Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

  Roles Investigation, Methodology, Writing – original draft

  Affiliation College of Mathematics and Statistics, Kashi University, Kashi, Xinjiang, China

  ⨯