Related papers: The List Object Endofunctor is Polynomial

We define a bivariate polynomial for unlabeled rooted trees and show that the polynomial of an unlabeled rooted tree $T$ is the generating function of a class of subtrees of $T$. We prove that the polynomial is a complete isomorphism…

We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…

We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being the category of polynomial representations of the group $GL_{\infty}$. This category is also known as the category…

In this paper, we study polynomial norms, i.e. norms that are the $d^{\text{th}}$ root of a degree-$d$ homogeneous polynomial $f$. We first show that a necessary and sufficient condition for $f^{1/d}$ to be a norm is for $f$ to be strictly…

A vast class of exponential functions are shown to be deterministic. This class includes functions whose exponents are polynomial-like or "piece-wise" close to polynomials after differentiation. Many of these functions are proved to be…

A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be…

It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended polynomials. This is indeed the case when one interprets integers over the type (p->p)->p->p where p is a base type…

We identify all uniform limits of polynomials on the closed unit disc with respect to the chordal metric \c{hi} . One such limit is f=oo. The other limits are holomorphic functions f:-->C so that for every {\zeta} in the boundary of unit…

In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.

Assume that a linear space of real polynomials in $d$ variables is given which is translation and dilation invariant. We show that if a sequence in this space converges pointwise to a polynomial, then the limit polynomial belongs to the…

In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…

The paper determines all meromorphic functions with finitely many zeros in the plane having the property that a linear differential polynomial in the function, of order at least 3 and with rational functions as coefficients, also has…

The aim of this work is to offer a solution to the problem of the classification of endomorphisms with an annihilating polynomial on arbitrary vector spaces. For these endomorphisms we provide a family of invariants that allows us to…

Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…

We show that if $\mathcal{C}$ is a fusion $2$-category in which the endomorphism category of the unit object is $\rm{Vec}$ or $\rm{SVec}$, then the indecomposable objects of $\mathcal{C}$ form a finite group.

Let $A \cong k\langle X \rangle / I$ be an associative algebra. A finite word over alphabet $X$ is $I${\it-reducible} if its image in $A$ is a $k$-linear combination of length-lexicographically lesser words. An {\it obstruction} in a…

We study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C)…

In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

Closed form expressions for a multivector exponential and logarithm are presented in real Clifford geometric algebras Cl(p,q)when n=p+q=1 (complex and hyperbolic numbers) and n=2 (Hamilton, split and conectorine quaternions). Starting from…