اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدGeneralized Plonka Sums and Products
202
0
0.0
(
0
)
تأليف
Marek Zawadowski
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. We also show that similar operations can be defined on any category of algebras of any analytic monad. This time we can allow the arities to be the categories of linear polynomials over any commutative monoid, i.e. any algebra for the terminal analytic monad. There are also dual operations of Plonka products. They can be defined on Kleisli categories of commutative monads.
قيم البحث
اقرأ أيضاً
A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related frameworks (Monads, Arrows, Freyd categories), we distinguish two kin
ds of functions. In addition, we also distinguish two kinds of equations. Then, we are able to define a kind of product, that generalizes the usual categorical product. This yields a powerful tool for deriving many results about languages with effects.
Markov categories are a recent category-theoretic approach to the foundations of probability and statistics. Here we develop this approach further by treating infinite products and the Kolmogorov extension theorem. This is relevant for all aspects of
probability theory in which infinitely many random variables appear at a time. These infinite tensor products $bigotimes_{i in J} X_i$ come in t
We explore the algebraic properties of a generalized version of the iterated-sums signature, inspired by previous work of F.~Kiraly and H.~Oberhauser. In particular, we show how to recover the character property of the associated linear map over the
tensor algebra by considering a deformed quasi-shuffle product of words on the latter. We introduce three non-linear transformations on iterated-sums signatures, close in spirit to Machine Learning applications, and show some of their properties.
When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphism. We observe that this is automatically the case in the important sp
ecial case of C$^*$-categories, provided that one uses enrichment in Banach spaces. We then formulate such a universal property for infinite direct sums in C$^*$-categories, and prove the equivalence with the existing definition due to Ghez, Lima and Roberts in the case of W$^*$-categories. These infinite direct sums specialize to the usual ones in the category of Hilbert spaces, and more generally in any W$^*$-category of normal representations of a W$^*$-algebra. Finding a universal property for the more general case of direct integrals remains an open problem.
We consider Ribenboims construction of rings of generalized power series. Ribenboims construction makes use of a special class of partially ordered monoids and a special class of their subsets. While the restrictions he imposes might seem conceptuall
y unclear, we demonstrate that they are precisely the appropriate conditions to represent such monoids as internal monoids in an appropriate category of Ehrhards finiteness spaces. Ehrhard introduced finiteness spaces as the objects of a categorical model of classical linear logic, where a set is equipped with a class of subsets to be thought of as finitary. Morphisms are relations preserving the finitary structure. The notion of finitary subset allows for a sharper analysis of computational structure than is available in the relational model. For example, fixed point operators fail to be finitary. In the present work, we take morphisms to be partial functions preserving the finitary structure rather than relations. The resulting category is symmetric monoidal closed, complete and cocomplete. Any pair of an internal monoid in this category and a ring induces a ring of generalized power series by an extension of the Ribenboim construction based on Ehrhards notion of linearization of a finiteness space. We thus further generalize Ribenboims constructions. We give several examples of rings which arise from this construction, including the ring of Puiseux series and the ring of formal power series generated by a free monoid.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
