有序观察系统.pdfVIP

摘 要 文献【2】提出了研究观察的一种新观点，从观察结构和观察系统的角度研究观 察．主要结果是集合范畴上的每—个非平凡函子都可以自然地提升到观察结构范畴 上，证明了提升得到的函子有唯一不动点，且这种函子的余代数范畴存在终结余代 数．文献1111将文献【21的构造和相应的概念，结论推广到偏序的情形．给出了有序 观察结构和有序观察系统的相关概念． 本文在文献f11的基础上，构造了有序观察结构的可离完备化；把偏序集范畴上 的非平凡函子F，提升到有序观察结构范畴和可离完备有序观察系统范畴上，分别 得到函子F【·l和庐【】，并证明FIl和户【．】存在唯一的不动点(同构意义下)．此外， 还将F一余代数自然地视为有序观察系统，证明终结F【．1一余代数是存在的． 关键词 有序观察结构；有序观察系统；观察同构；不动点定理；终结余代数 Abstract ofviewofobservation8tmctIlre8andobservationsWaS In systems paper【2】，thepoint mainresultisthat onthe every empty)funetor investigated．The nontrivial(non-identically of in to onthe of sets riseacanonicalafunetor observation categorygives way category fixed wasalso thatthe of 8tnlctlu?esa shown having poin，It resultingcategory unique hadafinal notionsoforderedobservationstructⅢ帮 coalgebras coalgebra．Inpaper【1】，the wereintroduced．Thesewere andorderedobservation asymmetric systems generalizationS in of observationsdiscussed observationstnlctⅡ髓and systems Paper【21． notions coil- Inthis do．thefurtherbasedonthe thesis，we study of【l】-Firstly，we struct of8orderedobservation extend separatedcompletion structure．Second