Cubical Sets and Trace Monoid Actions
المؤلف
المصدر
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-12-19
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
This paper is devoted to connections between trace monoids and cubical sets.
We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets.
Adjoint functors between the categories of cubical sets and trace monoid actions are constructed.
These functors carry independence preserving morphisms in the independence preserving morphisms.
This allows us to build adjoint functors between the category of weak asynchronous systems and the category of higher dimensional automata.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Husainov, Ahmet A.. 2013. Cubical Sets and Trace Monoid Actions. The Scientific World Journal،Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Husainov, Ahmet A.. Cubical Sets and Trace Monoid Actions. The Scientific World Journal No. 2013 (2013), pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Husainov, Ahmet A.. Cubical Sets and Trace Monoid Actions. The Scientific World Journal. 2013. Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1011866
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر