کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5772916 | 1413393 | 2017 | 72 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A coherence theorem for pseudonatural transformations
ترجمه فارسی عنوان
یک قضیه انسجام برای تحولات پدیده ای
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
اعداد جبر و تئوری
چکیده انگلیسی
We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free (4,2)-categories. In the case of bicategories and pseudofunctors, existing rewriting techniques based on Squier's Theorem allow us to conclude. In the case of pseudonatural transformations this approach only proves the coherence of part of the structure, and we use a new rewriting result to conclude. To this end, we introduce the notions of white-categories and partial coherence.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Pure and Applied Algebra - Volume 221, Issue 5, May 2017, Pages 1146-1217
Journal: Journal of Pure and Applied Algebra - Volume 221, Issue 5, May 2017, Pages 1146-1217
نویسندگان
Maxime Lucas,