×
约瑟夫·戈根（Joseph A.Goguen）。

明确的宣言。 （英语） Zbl 0747.18001号

数学。结构。计算。科学。 第1期，第49-67页（1991年）.
这篇论文很好地介绍了计算机科学家的范畴理论。作者试图解释范畴理论如何在计算科学中提供有用的抽象观点。他指出，范畴理论为组织、概括和发现计算科学各分支之间的类比提供了工具。给出了以七条“教条”的形式应用基本范畴概念（范畴、函子、自然变换、极限、伴随、共线和逗号范畴）的指南。这些“教条”通过例子加以说明，并提供了参考。最后，从实用的角度讨论了有关数学基础的哲学问题。
审核人：V.Kůrková-波洛娃（普拉哈）

引用于27文件

MSC公司：

18-01 与范畴理论相关的介绍性说明（教科书、教程论文等）
18轴 范畴与函子的一般理论
99年第68季度 计算理论
03年05月 逻辑和基础的哲学和批判性方面

关键词：

计算机科学家的范畴理论
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}，数学。结构。计算。科学。1，第1号，49--67（1991；Zbl 0747.18001）
全文： 内政部

参考文献：

[1] DOI:10.1007/BFb0025714·doi:10.1007/BFb0025714
[2] 内政部：10.2307/1990284·Zbl 0061.09204号 ·数字对象标识代码：10.2307/1990284
[3] Hoare，自然转换和数据精炼（1988）
[4] Ehrich，J.协会计算。马赫数29第206页–（1982年）·Zbl 0478.68020号 ·数字对象标识代码：10.1145/322290.322303
[5] Curien，分类组合器，序列算法和函数编程（1986）
[6] Burstall，程序。1979年哥本哈根冬季抽象软件规范学校，施普林格计算机科学讲稿86页292–（1980）
[7] Herrlich，范畴理论（1973）
[8] 布尔斯托尔，Proc。第五届国际人工智能联合会议第1045页–（1977年）
[9] 赫布兰德，《社会科学与瓦尔索维文学》，第三类33（1930）
[10] 内政部：10.1145/800235.807068·doi:10.1145/800235.807068
[11] 哈彻，《数学的逻辑基础》（1982）·兹比尔0504.03001
[12] Brouwer，Koninklijke Akademie van wetenschappen te Amsterdam，程序。科学部分31 pp 374–（1928）
[13] 戈德布拉特，托波伊，《逻辑的范畴分析》（1979）
[14] 巴尔，编程语言语义的数学基础。Springer计算机科学讲稿298（1988）
[15] Goguen，J.协会计算。机械24第68页–（1977年）·Zbl 0359.68018号 ·数字对象标识代码：10.1145/321992.321997
[16] Barr，拓扑、三元组和理论，Grundlehren der mathematischen Wissenschater（1984）
[17] Aczel，CSLI课堂讲稿14（1988）
[18] Goguen，《程序设计方法的当前趋势》，第四卷，第80页–（1976年）
[19] 怀特海，《过程与现实》（1969年）
[20] Goguen，程序。1988年第五代计算机系统国际会议第628页–（1988）
[21] Goguen，面向对象编程研究方向，第417页–（1987）
[22] Goguen，程序。1987年TAPSOFT，Springer计算机科学课堂讲稿250 pp 1–（1987）
[23] 内政部：10.1137/021162·Zbl 0493.68022号 ·数字对象标识代码：10.1137/021162
[24] 内政部：10.1016/0022-0000（83）90043-0·Zbl 0532.68019号 ·doi:10.1016/0022-0000（83）90043-0
[25] Goguen，程序。Conf.on Conditional Term Rewriting，Springer计算机科学课堂讲稿308 pp 258–（1988）·doi:10.1007/3-540-19242-5-22
[26] 内政部：10.1007/BFb0073967·doi:10.1007/BFb0073967
[27] Goguen，《应用通用系统研究》，第257页–（1978）
[28] 内政部：10.1016/0304-3975（84）90021-5·Zbl 0551.68065号 ·doi:10.1016/0304-3975（84）90021-5
[29] 内政部：10.1016/0304-3975（84）90036-7·兹伯利0566.68066 ·doi:10.1016/0304-3975（84）90036-7
[30] Paré，索引范畴及其应用，Springer数学讲义661（1978）
[31] 内政部：10.1016/0304-3975（84）90134-8·Zbl 0566.68065号 ·doi:10.1016/0304-3975（84）90134-8
[32] Goguen，Proc。交响乐团。一般拓扑与应用（1990）
[33] Milner，通信系统微积分，Springer计算机科学讲稿92（1980）·Zbl 0452.68027号 ·doi:10.1007/3-540-10235-3
[34] Goguen，代数结构方程的求解，第1卷：代数技术第217页–（1988）
[35] 海兰德，布鲁沃研讨会（1982）
[36] 内政部：10.1109/MC.1986.1663146·doi:10.1109/MC.1986.1663146
[37] Meseguer，程序。交响乐团。计算机科学中的逻辑（1988）
[38] Goguen，程序。第一国际交响乐团。论范畴理论在计算与控制中的应用
[39] Meseguer，语义中的代数方法第459页–（1985）
[40] 《知识之树》（1987）
[41] Goguen，J.计算。系统。Sci 8第333页–（1974年）·Zbl 0285.68010号 ·doi:10.1016/S0022-0000（74）80028-0
[42] DOI:10.1007/BF01843493·Zbl 0248.18015号 ·doi:10.1007/BF01843493
[43] DOI:10.1073/pnas.50.5.869·Zbl 0119.25901号 ·doi:10.1073/pnas.50.5.869
[44] 内政部：10.1090/S0002-9904-1972-13032-5·兹伯利0277.18003 ·doi:10.1090/S0002-9904-1972-13032-5
[45] 内政部：10.1007/BF03026636·doi:10.1007/BF03026636
[46] Goguen，《全球系统动力学》第112页–（1971）
[47] 麦克莱恩，《在职数学家的分类》（1971）
[48] 数字对象标识码：10.1073/pnas.34.6.263·Zbl 0031.24702号 ·doi:10.1073/pnas.34.6.263
[49] Futatsugi，程序。第九届软件工程国际会议第51页–（1987）
[50] Lambek，《高阶范畴逻辑导论》（1986）·Zbl 0596.0302号
[51] Futatsugi，程序。第十二届ACM交响乐团。《程序设计语言原理》第52页–（1985）
[52] 内政部：10.1016/0304-3975（87）90079-X·Zbl 0636.68028号 ·doi:10.1016/0304-3975（87）90079-X
[53] 凯勒，Proc。图简化研讨会，Springer计算机科学讲稿279（1987）
[54] 霍夫曼，有效项重写的丛林评估（1988）·Zbl 0708.68029号 ·doi:10.1007/3-540-50667-571
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。