Mike Behrisch先生；塞巴斯蒂安·柯霍夫；莱因哈德·普舍尔；施耐德、弗里德里希·马丁；斯特凡·西格蒙德 类别中的动态系统。 （英语） Zbl 1369.37024号 申请。类别。结构。 25，第1期，29-57（2017）. 摘要：在本文中，作者建立了动力系统之间的桥梁，包括拓扑和可测动力系统，以及连续斜积流和非自治动力系统；以及具有所有有限乘积的类别中的余代数。介绍了有限乘积范畴上抽象动力系统的一个简单统一定义。此外，作者证明了这类系统与签名函子与时间空间乘积的一元代数是唯一对应的。他们讨论了拓扑空间、可度量空间和均匀空间的范畴分别以局部紧Hausdorff、强（sigma）紧或任意时间空间为指数的指数对象。利用乘积与指数对象之间的附加作用，证明了左伴随函子的一元代数（由动力系统给出）与另一个函子的余代数之间的一一对应。最后，这为动力系统提供了一个新的、可供选择的视角。 引用于三文件 MSC公司： 第37页第55页 非自治系统的拓扑动力学 68问题65 抽象数据类型；代数规范 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 18日第15天 闭范畴（闭单胞和笛卡尔闭范畴等） 关键词：系统论；有限产品类别；联合布拉格 软件：UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Behrisch}等人，应用。类别。结构。25，编号1，29-57（2017；兹bl 1369.37024） 全文： 内政部 链接 参考文献： [1] 阿达梅克，J；Herrlich，H；斯特雷克，通用电气，抽象和具体类别：猫的快乐，代表理论应用。类别。，17, 1-507, (2006) ·Zbl 1113.18001号 [2] 阿金，E；Glassner，E，《剩余特性和几乎等连续性》，J.Ana。数学。，84, 243-286, (2001) ·Zbl 1182.37009号 ·doi:10.1007/BF02788112 [3] 阿金，E；赫尔利，M；JA Kennedy，拓扑泛型同胚动力学，Mem。阿默尔。数学。Soc.，164，viii+130，（2003年）·Zbl 1022.37010号 ·doi:10.1090/memo/0783 [4] Aliprantis，CD；Border，KC，无限维分析，（2006），柏林，海德堡·兹比尔1156.46001 ·doi:10.1007/3-540-29587-9 [5] 马萨诸塞州阿比布；Manes，EG，《类别中的机器：解释性介绍》，SIAM Rev.，16，163-192，（1974）·Zbl 0288.18005号 ·doi:10.1137/1016026 [6] 马萨诸塞州阿比布；Manes，EG，《类别中的机器》，J.Pure Appl。代数，19，9-20，（1980）·Zbl 0441.18010号 ·doi:10.1016/0022-4049（80）90090-0 [7] Arnold，L.：随机动力系统。施普林格数学专著。柏林施普林格（1998）·兹比尔0906.34001 ·doi:10.1007/978-3-662-12878-7 [8] Awodey，S，《范畴理论》，第52卷，（2010），牛津·Zbl 1194.18001号 [9] Behrisch，M.、Kerkhoff，S.、Pöschel，R.、Schneider，F.M.、Siegmund，S.：类别中的动力系统。预印本MATH-AL-05-2013，德国德累斯顿理工大学傅尔代数研究所，德累斯顿，邮编：01062（2013）。http://nbn-resolution.de/urn:nbn:de:bsz:14-库科萨-129909·兹比尔0221.02031 [10] Berger，A，《混乱与机遇》，（2001），柏林·Zbl 0984.37001号 [11] 伯杰，A；Siegmund，S，《关于随机动力系统和连续斜积之间的间隙》，J.Dynam。微分方程，15，237-279，（2003）·Zbl 1038.37040号 ·doi:10.1023/B:JODY.0000009736.39445.c4 [12] Böhm，G；布热津斯基，T；Wisbauer，R，《模块类别上的单数和余数》，《J.代数》，3221719-1747，（2009）·Zbl 1208.18003号 ·doi:10.1016/j.jalgebra.2009.06.003 [13] MC Browne；EM克拉克；Grümberg，O，描述命题时序逻辑中的有限Kripke结构，软件开发理论与实践国际联合会议（Pisa，1987）Theoret。计算。科学。，59, 115-131, (1988) ·Zbl 0677.03011号 ·doi:10.1016/0304-3975（88）90098-9 [14] Cassandras，C.G.，Lafortune，S.：《离散事件系统导论》，第2版。施普林格，纽约（2008）。doi:10.1007/978-0-387-68612-7·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7 [15] Corbae，D.，Stinchcombe，M.B.，Zeman，J.：《经济理论和计量经济学数学分析导论》。普林斯顿大学出版社，普林斯顿（2009）·Zbl 1171.91001号 [16] Droste，M.，Kuich，W.，Vogler，H.（编辑）：加权自动机手册。理论计算机科学专著，EATCS系列。施普林格，柏林（2009）。doi:10.1007/978-3642-01492-5·兹比尔1200.68001 [17] 德罗斯特，M；Quaas，K，加权时间自动机的Kleene-schützenberger定理，Theoret。计算。科学。，412, 1140-1153, (2011) ·兹比尔1217.68128 ·doi:10.1016/j.tcs.2010.12.033 [18] Dugundji，J.：拓扑。Allyn and Bacon Inc.，波士顿（1966）·Zbl 0144.21501号 [19] 艾伦伯格，S；莫尔，JC，伴随函子和三元组，伊利诺伊州数学杂志。，9, 381-398, (1965) ·Zbl 0135.02103号 [20] Esparza，J，无限状态并发系统模型检查的可判定性，Acta Inform。，34, 85-107, (1997) ·Zbl 0865.68046号 ·doi:10.1007/s0023600050074 [21] Glassner，E，拓扑动力学中的包络半群，拓扑应用。，154, 2344-2363, (2007) ·Zbl 1123.54015号 ·doi:10.1016/j.topol.2007.03.009 [22] Godement，R.：Topologie algébrique et theéorie des faisceaux。科学现状。Ind.编号1252。出版物。数学。斯特拉斯堡大学，第13号。赫尔曼，巴黎（1958）·Zbl 0080.16201号 [23] Gottschalk，W.H.，Hedlund，G.A.：拓扑动力学。美国数学学会学术讨论会出版物，第36卷。美国数学学会，普罗维登斯（1955）·Zbl 0067.15204号 ·doi:10.1090/coll/036 [24] Herrlich，H.：拓扑[拓扑]。二、。统一州。[统一空格]，Berliner Studienreihe zur Mathematik[柏林数学研究系列]，第3卷。赫尔德曼·弗拉格，柏林（1988）·Zbl 0644.54001号 [25] Kleene，SC，神经网络和有限自动机中事件的表示，3-41，（1956），普林斯顿 [26] Kripke，SA，模态逻辑的语义考虑，菲洛斯学报。芬恩。法斯科。，16, 83-94, (1963) ·Zbl 0131.00602号 [27] 麦克·莱恩（Mac Lane），S.：《工作数学家的分类》（Categories for the Working Mathematician），第二版。。数学研究生教材，第5卷。施普林格，纽约（1998）·兹标0906.18001 [28] McNaughton，R.，Papert，S.：无计数器自动机。麻省理工出版社，剑桥（1971）。附有William Henneman的附录，麻省理工学院研究专著，第65期·Zbl 0232.94024号 [29] Minsky，ML，图灵机器理论中“标签”问题和其他主题的递归不可解性，数学年鉴。(2), 74, 437-455, (1961) ·Zbl 0105.00802号 ·doi:10.2307/1970290 [30] Minsky，M.L.：计算：有限和无限机器。Prentice-Hall公司，Englewood Cliffs（1967年）。自动计算中的Prentice-Hall级数·Zbl 0195.02402号 [31] Nerurkar，MG，顺从群的遍历连续斜积作用，太平洋数学杂志。，119343-363（1985年）·Zbl 0563.28013号 ·doi:10.2140/pjm.1985.119.343 [32] Nyikos，PJ，拓扑群中的可度量性和Fréchet-Urysohn性质，Proc。阿默尔。数学。《社会学杂志》，83，793-801，（1981）·Zbl 0474.22001 ·doi:10.2307/2044256 [33] von Querenburg，B.：Mengentheoretische拓扑学[集合论拓扑学]，第二版。。Hochschultext公司。[大学课文]。施普林格，柏林（1979）·Zbl 0431.54001号 ·doi:10.1007/978-3-642-96547-0 [34] 密苏里州拉宾，无限树上二阶理论和自动机的可判定性，Trans。阿默尔。数学。《社会学杂志》，141，1-35，（1969）·兹比尔0221.02031 [35] 密苏里州拉宾；Scott，DS，有限自动机及其决策问题，IBM J.Res.Develop。，3, 114-125, (1959) ·Zbl 0158.25404号 ·doi:10.1147/rd.32.0114 [36] Rutten，JJMM，《泛余代数：系统理论，现代代数及其应用》（Nashville，TN，1996），理论。计算。科学。，249, 3-80, (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6 [37] Schneider，F.M.，Kerkhoff，S.，Behrisch，M.，Siegmund，S.：拓扑半群的混沌行为半群论坛，第1-9页（2013）。doi:10.1007/s00233-013-9517-4·Zbl 1339.37028号 [38] 施耐德，FM；克尔霍夫，S；贝里希，M；Siegmund，S，局部紧群承认Hausdorff空间上忠实的强混沌行为，国际分岔混沌，23，135-158，（2013）·Zbl 1277.37054号 ·doi:10.1142/S0218127413501587 [39] Schützenberger，MP，关于只有平凡子群的有限幺半群，Inf.Control。，8, 190-194, (1965) ·兹伯利0131.02001 ·doi:10.1016/S0019-9958（65）90108-7 [40] Sell，G.R.：拓扑动力学和常微分方程。Van Nostrand Reinhold Co.，伦敦（1971）。Van Nostrand Reinhold数学研究，第33期·Zbl 0212.29202号 [41] 托马斯·W，《无限物体上的自动机》，133-191，（1990），阿姆斯特丹·Zbl 0900.68316号 [42] 托马斯：自动机理论和无限过渡系统。收录于：EMS暑期学校CANT 2006预科课程，Pré出版物06.002，第1-25页。里昂大学数学研究所（2006年）·Zbl 1113.18001号 [43] 托马斯，W；Frid，A（编辑）；莫罗佐夫，A（编辑）；Rybalchenko，A（编辑）；Wagner，KW（编辑），无限图上的可达性问题，12-18，（2009），柏林·Zbl 1248.68390号 ·doi:10.1007/978-3-642-03351-32 [44] Tornambè，A，离散事件系统理论，（1995），River Edge·Zbl 0948.93519号 ·数字对象标识代码：10.1142/2845 [45] Wilker，P，一般拓扑中的伴随积和Hom函子，太平洋数学杂志。，34, 269-283, (1970) ·Zbl 0205.52703号 ·doi:10.2140/pjm.1970.34.269 [46] Willard，S.：一般拓扑。Addison-Wesley数学系列。米诺拉·多佛（2004）。1970年原版的再版[Addison-Wesley，Reading，MA；MR0264581]·Zbl 1052.54001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。