×

协联与非确定性自动机的实现。 (英语) Zbl 0518.18009号


MSC公司:

18B20型 机器、自动机的类别
18D20天 丰富的类别(超封闭或单体类别)
18A40型 伴随函子(泛结构、反射子范畴、Kan扩张等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 1 J.Benabou,数学研究所销售员。Pures和Appl。说唱。33,卢万天主教大学(1973年)。
[2] 2 R.B.Etti,Automi e category chiuse,波尔。联合国。材料意大利语。5 ( 1980 ), 44 - 58 . Zbl 0456.18003号·Zbl 0456.18003号
[3] 3 R.B.Etti和S.Kasangian,自动机的准通用实现,Rend。问题。的里雅斯特理工大学,现身。MR 738033 | Zbl 0574.68048·Zbl 0574.68048号
[4] 4 A.Joyal,《数学进展》,42 ( 1981 ), 1 - 82 . MR 633783 | Zbl 0491.05007·Zbl 0491.05007号 ·doi:10.1016/0001-8708(81)90052-9
[5] 5 G.M.Kelly,丰富范畴理论的基本概念,伦敦数学。《社会讲稿系列51》,剑桥大学出版社,1982年。MR 651714 | Zbl 0478.18005·Zbl 0478.18005号
[6] 6 G.M.Kelly&R.Street,复习数学课堂讲稿中的两类要素。420,施普林格(1974),75-103。MR 357542 | Zbl 0334.18016·Zbl 0334.18016号
[7] 7 F.W.Lawvere,代数理论的函数语义,Proc。美国国家科学院。科学。《美国法典》第50卷(1963年),第869-872页。MR 158921 | Zbl 0119.25901·Zbl 0119.25901号 ·doi:10.1073/pnas.50.5.869
[8] 8 F.W.Lawvere,度量空间,广义逻辑和闭范畴,Rend。半实物财务。米兰43(1973),135-166。MR 352214 | Zbl 0335.18006·Zbl 0335.18006号 ·doi:10.1007/BF02924844
[9] 9 R.Street,bicategories纤维,Cahiers Top。等Géom。差异XXI-2(1980),111-160。Numdam | MR 574662 | Zbl 0436.18005·Zbl 0436.18005号
[10] 10 R.Street,《丰富的类别和上同调》,Proc。类别理论会议(开普敦,1981年)即将发表。MR 2219705·Zbl 0538.18005号
[11] 11个R.F.C.Walters、Sheeves和Cauchy-complete类别、Cahiers上衣。等Géom。Diff.XXII-3(1981),283-286。Numdam | MR 649076 | Zbl 0495.18009·Zbl 0495.18009号
[12] 12 R.F.C.Walters,Sheaves on a site as Cauchy complete categories,J.Pure&Appl.R.F.C.Walters,Sheaves on a site as Cauchy complete categories,J.纯粹与应用。代数24(1982),95-102。MR 647583 | Zbl 0497.18016·Zbl 0497.18016号 ·doi:10.1016/0022-4049(82)90061-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。