کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951971 1441998 2017 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Morphism axioms
ترجمه فارسی عنوان
اصطلاحات مورفیسم
کلمات کلیدی
ترجمه چکیده
علاوه بر این، سیستم ما ناسازگاری ظریف بین مورفیزم های تئوری و مورفیسم های مدل را حل می کند: معنایی که نظریه ها را به مدل های مدل ترسیم می کند، فاکتوریل است. در حالی که این نتیجه در اصل استاندارد است، فرمول های قبلی مجبور بودند مورفیزم های نظریه ی مجاز یا مورفیزم های مدل مجاز را محدود کنند. سیستم ما اجازه می دهد تا نتیجه را در کلیت کلی ایجاد کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
اصطلاحات مورفیسم
چکیده انگلیسی
Additionally, our system resolves a subtle incompatibility between theory morphisms and model morphisms: the semantics that maps theories to model categories is functorial. While this result is standard in principle, previous formulations had to restrict the allowed theory morphisms or the allowed model morphisms. Our system allows establishing the result in full generality.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 691, 29 August 2017, Pages 55-80
نویسندگان
,