تقرير
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 |
| الوصف غير متاح. |