目录

定义

这个（2,1）-类别 $Grpd公司$是2类谁的

• 对象s是小的 广群s；

• 态射s是函子s；

• 2-同构s是自然转化s、 这是必然的自然同构第条。

这是完整的子2类猫在那些上面类别它们是群胚。

属性

演示

人们可能会考虑$Grpd公司$也可以忽略函子之间的自然同构作为1-范畴。此1类可配备群胚上的自然模型结构提供1分类演示全部的$(2,1)$-类别。

相关类别

• 销售时点情报系统

• 设置

• $Grpd公司$,∞Grpd

• 猫,（∞，1）猫

• （∞，n）猫

工具书类

上局部笛卡尔闭包的2类群胚（以及1-类别版本）：

• 埃里克·帕尔姆格伦,群胚与局部笛卡尔闭包(2003) [pdf格式]

讨论$Grpd公司$as（有一些调整）范畴语义学对于同伦型理论（“广群模型”，单纯形集模型的前身）：

• 马丁·霍夫曼,托马斯·斯特里彻,广群模型反驳了身份证明的唯一性第九届IEEE计算机科学逻辑年会论文集（1994年）[doi:10.1109/LICS.1994.316071]

• 马丁·霍夫曼,托马斯·斯特里彻,类型理论的群胚解释，单位：乔瓦尼·桑宾等（编辑），建设性类型理论25年《国会议事录》，意大利威尼斯，1995年10月19日至21日。牛津：克拉伦登出版社。牛津大学。逻辑指南。36(1998) 83-111 [国际标准化组织：9780198501275,秒,pdf格式]

• 马丁·霍夫曼,类型理论的群体解释，个人回顾，在DMV2015的HoTT(2015) [幻灯片]

• 伊桑·刘易斯（Ethan Lewis）、马克斯·博内特（Max Bohnet）、，类型理论的广群模型，研讨会笔记（2017）[pdf格式,pdf格式]