کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
421621 | 684923 | 2015 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Representation of Partial Traces
ترجمه فارسی عنوان
نمایندگی ردپاهای جزئی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The notion of trace in a monoidal category has been introduced to give a categorical account of a situation occurring in very different settings: linear algebra, topology, knot theory, proof theory... with the trace operation understood as a feedback operation. Partially traced categories were later introduced to account for cases where the trace is not always defined, and it was shown that partially traced category can always be seen as a subcategory of a totally traced one. We give a new proof of this representation theorem, using a construction that is different from the original one. However, since they satisfy the same universal property they are naturally isomorphic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 319, 21 December 2015, Pages 37-49
Journal: Electronic Notes in Theoretical Computer Science - Volume 319, 21 December 2015, Pages 37-49