×
C.E.马丁。；C.A.R.霍尔。；何继峰

按顺序添加前富集的类别。 （英语） Zbl 0755.18003号

数学。结构。计算。科学。 第1期，第2期，第141-158页（1991年）.
摘要：范畴理论为研究各种风格的规范和程序提供了一个统一的数学框架，例如程序性、功能性和并发性。统一处理这些不同语言的一种方法是对一些标准范畴概念的定义进行概括。在本文中，我们在广义理论中再现了一些关于同构的标准定理的类比，并概述了它们在编程语言中的应用。

引用于4文件

MSC公司：

18D05日 双类别，（2）-类别，双类别和泛化（MSC2010）
18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
18-01 与范畴理论相关的介绍性说明（教科书、教程论文等）
68甲15 编程语言理论

关键词：

homset上的排序；订单丰富类别；预附加；程序之间的细化排序；通用结构；规格；程序性的；功能性的；同时发生的；同构；编程语言的应用
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Martin}等人，数学。结构。计算。科学。1，No.2，141--158（1991；Zbl 0755.18003）
全文： 内政部

参考文献：

[1] Lambak，《高阶范畴逻辑导论》（1985）
[2] Longo，Cartesian有效型结构闭枚举类173 pp 235–（1984）·Zbl 0564.03037号
[3] Dijkstra，谓词演算和程序语义（1990）·Zbl 0698.68011号 ·doi:10.1007/978-1-4612-3228-5
[4] 居里，理论计算机科学研究笔记1（1986）
[5] 内政部：10.1016/0022-4049（84）90061-6·Zbl 0577.18005号 ·doi:10.1016/0022-4049（84）90061-6
[6] 内政部：10.2307/1996942·Zbl 0358.18004号 ·doi:10.2307/1996942
[7] 伯德，构造函数编程讲座（1988）
[8] Betti，关于分配双类的局部伴随性，第931页–（1988）·Zbl 0665.18007号
[9] Wiweger，Colloq.Math 48第153页–（1984）
[10] Barr，计算科学范畴理论（1990）·Zbl 0714.18001号
[11] 瓦格纳，《类别、数据类型和强制语言》240页143–（1985）·兹比尔0616.68012
[12] 巴尔，关系代数第39页–（1970）
[13] Backhouse，类型关系理论（1990）
[14] Spivey，《Z参考手册》（1989）
[15] Seely，《模拟计算：1987年计算机科学中的两类框架逻辑》，第65页–（1987）
[16] Jones，Proceedings BCS FACS精炼研讨会（1990）
[17] Jay，将属性扩展到部分映射的类别（1990）
[18] 内政部：10.1016/0022-4049（88）90124-7·Zbl 0673.18006号 ·doi:10.1016/0022-4049（88）90124-7
[19] 霍尔，《程序设计语言的多样性》351第1页–（1989）
[20] Herrlich，范畴理论（1973）
[21] 内政部：10.1016/0304-3975（85）90062-3·兹伯利0592.03010 ·doi:10.1016/0304-3975（85）90062-3
[22] 格雷，形式范畴理论：两个范畴的相邻性391（1974）·doi:10.1007/BFb0061280
[23] Filinski，《声明性延续：程序设计语言语义二重性的研究》389 pp 224–（1989）
[24] Seely，证明理论中的弱伴随753 pp 697–（1979）·Zbl 0438.18002号
[25] 摩根，《精化演算》（1989）
[26] 莫吉，部分形态分类和{（lambda）}240 pp 242–（1985）·Zbl 0628.03007号
[27] Martini，二阶lambda微积分的区间模型283 pp 219–（1987）·Zbl 0645.03012号
[28] Mac Lane，《工作数学家的分类》（1970）
[29] 内政部：10.1016/0022-4049（89）90127-8·Zbl 0686.18003号 ·doi:10.1016/0022-4049（89）90127-8
[30] Kelly，《两类要素评论》420 pp 75–（1974）·Zbl 0334.18016号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。