南卡桑吉安。;G.M.凯利。;F.罗西。 协联与非确定性自动机的实现。 (英语) Zbl 0518.18009号 加利福尼亚州。白杨。盖姆。差异。 24, 23-46 (1983). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于9文件 MSC公司: 18B20型 机器、自动机的类别 18D20天 丰富的类别(超封闭或单体类别) 18A40型 伴随函子(泛结构、反射子范畴、Kan扩张等) 关键词:双闭单体范畴;丰富的类别;行为;实现;自动机;共纤维;色域;弱附加词 引文:Zbl 0436.18005号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}等人,加利福尼亚州。拓扑Géom。差异。卡特戈里克斯24,23-46(1983;Zbl 0518.18009) 全文: Numdam编号 欧洲DML 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。