戴维·格普纳;约阿希姆·科克 局部笛卡尔闭范畴中的单叶性。 (英语) Zbl 1376.55018号 论坛数学。 29,第3期,617-652(2017). 审核人:J.雷迪奥斯(拉古纳) MSC公司:55单位35 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{D.Gepner}和\textit{J.Kock},论坛数学。29,第3号,617--652(2017;Zbl 1376.55018) 全文: 内政部 arXiv公司
约阿希姆·科克 群胚上具有对称性和多项式函子的数据类型。 (英语) Zbl 1342.68216号 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286,351-365(2012)。MSC公司:68问题65 03G30型 18立方厘米 18日第15天 第81次 PDF格式BibTeX公司 XML格式引用 \textit{J.Kock},电子。注释Theor。计算。科学。286351-365(2012;Zbl 1342.68216) 全文: 内政部 arXiv公司