罗伊·克罗。 在定点对象和粘合结构上。 （英语） Zbl 0862.18003号 申请。类别。结构。 4，编号2-3，251-281（1996）. 具有有限乘积和指向强内函子的范畴在这里被称为“let-Categories”，因为E.莫吉[“计算和单子的概念”，Inf.Compute.93，No.1，55-92（1991；Zbl 0723.68073号)]. 不动点对象本质上是内函子的初始代数。作者研究了从旧的“let-categories”和“fix-categories”中获取新的“let-Categorie”和固定的“fix-”所需的条件或修改，并给出了由此获得的信息的逻辑对应项。审核人：A.Kock（奥胡斯） 引用于2文件 MSC公司： 18甲15 基础、与逻辑和演绎系统的关系 18立方厘米 理论（例如代数理论）、结构和语义 关键词：范畴类型理论;内函子的初始代数;let类别;定点对象;固定类别 引文：Zbl 0723.68073号 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole}，应用。类别。结构。4、编号2--3、251--281（1996；Zbl 0862.18003） 全文： DOI程序 参考文献： [1] Barr，M.和Wells，C.：《计算科学的范畴理论》，计算机科学国际丛书，普伦蒂斯·霍尔出版社，1990年·Zbl 0714.18001号 [2] 克罗尔：《类型分类》，剑桥数学教科书，剑桥大学出版社，1993年·Zbl 0837.68077号 [3] Crole，R.L.：《用定点类型编程金属学》，剑桥大学计算机实验室博士论文，1991年。 [4] 克罗尔。L.和PittsA。M.：不动点计算的新基础：FIX-hyperdoctines和FIX-logic，信息与计算98（1992），171-210·Zbl 0763.03031号 ·doi:10.1016/0890-5401（92）90018-B [5] Freyd，P.J.和Scedrov，A.：类别，寓言，北荷兰，1990年。 [6] 雅各布斯，B.：范畴类型理论，奈梅亨大学博士论文，1991年。 [7] Johnstone，P.T.：托普斯理论，学术出版社，1977年。 [8] 科克公司：对称单体闭范畴上的单数，Archive der Mathematik 21（1970），1-10·Zbl 0196.03403号 ·doi:10.1007/BF01220868 [9] Lafont，Y.：逻辑，猫？gories et machines，巴黎第七大学博士论文，1988年。 [10] 兰贝克J。和斯科特。J.：直觉主义类型理论和自由拓扑，J.Pure Appl。《代数》19（1980），215-257·Zbl 0452.03049号 ·doi:10.1016/0022-4049（80）90102-4 [11] Lambek，J.和Scott，P.J.：《高阶范畴逻辑导论》，剑桥高等数学研究，剑桥大学出版社，1986年·Zbl 0596.0302号 [12] 麦克·莱恩（Mac Lane），S.：《工作数学家的分类》（Categories for the Working Mathematician 5），《数学研究生教材》（Graduate Texts in Mathematic），斯普林格·弗拉格出版社，1971年·Zbl 0232.18001号 [13] 莫吉：计算和单子概念，理论计算机科学93（1989），55-92。 [14] Pitts，A.M.：分类逻辑，见S.Abramsky、D.M.Gabbay和T.S.E.Maibaum（编辑），《计算机科学中的逻辑手册》，牛津大学出版社，1995年。剑桥大学计算机实验室第367号技术报告。 [15] Plotkin，G.D.：高级领域理论的后期讲稿（合并了“比萨讲稿”），爱丁堡大学计算机科学系，1981年。 [16] 《程序设计语言的语义：结构和技术》，《计算基础》，麻省理工学院出版社，1992年·Zbl 0823.68059号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。