تقرير
Beyond Initial Algebras and Final Coalgebras
العنوان: | Beyond Initial Algebras and Final Coalgebras |
---|---|
المؤلفون: | Schoen, Ezra, Master, Jade, Kupke, Clemens |
سنة النشر: | 2023 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Mathematics - Category Theory, Computer Science - Logic in Computer Science |
الوصف: | We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and F-algebras. We prove a version of the limit colimit coincidence theorem for these generalized fixed points. Comment: Extended Abstract |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2303.02065 |
رقم الأكسشن: | edsarx.2303.02065 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |