Related papers: Measuring data types

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category C as well as their codimensions in the case when C is…

Ergodic theory includes several notions of entropy for probability-preserving actions of countable groups. These include Kolmogorov--Sinai entropy based on F\o lner sequences for amenable groups, entropy defined using a random ordering of…

The construction of the cotensor coalgebra for an "abelian monoidal" category $\M$ which is also cocomplete, complete and AB5, was performed in [A. Ardizzoni, C. Menini and D. \c{S}tefan, \emph{Cotensor Coalgebras in Monoidal Categories},…

We introduce the algebraic entropy for continuous endomorphisms of locally linearly compact vector spaces over a discrete field, as the natural extension of the algebraic entropy for endomorphisms of discrete vector spaces. We show that the…

This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of…

We propose the Lie-algebraic interpretation of poly-analytic functions in $L_2(\C,d\mu)$, with the Gaussian measure $d\mu$, based on a flag structure formed by the representation spaces of the $\mathfrak{sl}(2)$-algebra realized by…

For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.

In this note we show that Waldhausen's K-theory functor from Waldhausen categories to spaces has a universal property: It is the target of the "universal global Euler characteristic", in other words, the "additivization" of the functor…

The paper deals with weighted spaces $L_p^w(G)$ on a locally compact group G. If w is a positive measurable function on G then we define the space $L_p^w(G)$, $p\ge1$, as $L_p^w(G)=\{f:fw\in L_p(G)\}$. We consider weights such that these…

Let $(W,S)$ be an affine Coxeter system of type $\widetilde{B}$ or $\widetilde{D}$ and ${\rm TL}(W)$ the corresponding generalized Temperley-Lieb algebra. In this paper we define an infinite dimensional associative algebra made of decorated…

In this paper we introduce the notion of a $cdp$-functor to a Waldhausen category. We show that such functors admit extensions that satisfy the excision property, to which we associate Euler-Poincar\'e characteristics that send the class of…

In the same way the folding of the Dynkin diagram of A_{2n} (resp. A_{2n-1}) produces the B_n (resp. C_n) Dynkin diagram, the symmetry algebra W of a Toda model based on B_n (resp. C_n) can be seen as resulting from the folding of a…

Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively…

In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial functors we include upper and lower probability measures,…

Graph encoder embedding, a recent technique for graph data, offers speed and scalability in producing vertex-level representations from binary graphs. In this paper, we extend the applicability of this method to a general graph model, which…

We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable…

In this note we prove that the algebras $L_K(E)$ and $KE$ have the same entropy. Entropy is always referred to the standard filtrations in the corresponding kind of algebra. The main argument leans on (1) the holomorphic functional…

We prove a localization theorem for affine $W$-algebras in the spirit of Beilinson--Bernstein and Kashiwara--Tanisaki. More precisely, for any non-critical regular weight $\lambda$, we identify $\lambda$-monodromic Whittaker $D$-modules on…