تقرير
Connected monads weakly preserve products
العنوان: | Connected monads weakly preserve products |
---|---|
المؤلفون: | Gumm, H. Peter |
سنة النشر: | 2019 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Mathematics - Category Theory, Computer Science - Logic in Computer Science, 08B20 (Primary) 08B10, 18A22 (Secondary) |
الوصف: | If $F$ is a (not necessarily associative) monad on $Set$, then the natural transformation $F(A\times B)\to F(A)\times F(B)$ is surjective if and only if $F(\boldsymbol{1})=\boldsymbol{1}$. Specializing $F$ to $F_{\mathcal{V}}$, the free algebra functor for a variety $\mathcal{V}$, this result generalizes and clarifies an observation by Dent, Kearnes and Szendrei. |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/1909.02259 |
رقم الأكسشن: | edsarx.1909.02259 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |