کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876089 690214 2015 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Category theory of symbolic dynamics
ترجمه فارسی عنوان
نظریه گروهی دینامیک نمادین
کلمات کلیدی
ترجمه چکیده
ما اشیاء مرکزی دینامیک نمادین را مطالعه میکنیم، یعنی زیرنویسها و بلوکهای نقشهها را از دیدگاه نظریهی طبقهبندی اولیه، و چندین دسته طبقاتی را به عنوان زیرمجموعهها به عنوان اشیاء و نقشههای بلوک به عنوان مورفیزم ارائه میدهیم. اهداف اصلی ما است برای پیدا کردن اشیاء جهانی در این دسته بندی نمادین، به طبقه بندی نقشه ها بلوک خود را بر اساس دسته خواص نظری خود، برای اثبات دسته خصوصیات نظری برای مفاهیم ناشی از پویایی نمادین، و برای ایجاد به عنوان بسیاری از خواص طبیعی (کامل محدود، نظم و غیره .) تا حد ممکن. تعاریف موجود در تئوری طبقه بندی، مشکلات جالب دیگری را در دینامیک نمادین نشان می دهد. مشارکت اصلی ما در حل مساله دوگانه لمس فرمت و نتایج مربوط به انواع خاصی از مقادیر محافظت شده، پیشنهاد شده توسط مفهوم یک کوآپالایزر است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We study the central objects of symbolic dynamics, that is, subshifts and block maps, from the perspective of basic category theory, and present several natural categories with subshifts as objects and block maps as morphisms. Our main goals are to find universal objects in these symbolic categories, to classify their block maps based on their category theoretic properties, to prove category theoretic characterizations for notions arising from symbolic dynamics, and to establish as many natural properties (finite completeness, regularity etc.) as possible. Existing definitions in category theory suggest interesting new problems in symbolic dynamics. Our main technical contributions are the solution to the dual problem of the Extension Lemma and results on certain types of conserved quantities, suggested by the concept of a coequalizer.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 567, 16 February 2015, Pages 21-45
نویسندگان
, ,