Related papers: Measuring data types

We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…

In a recent paper, we gave a topological description of Colombeau type algebras introducing algebras of sequences with exponential weights. Embeddings of Schwartz' spaces into the Colombeau algebra G are well known, but for…

For a quiver with weighted arrows we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al., and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erd\H{o}s problem of finding…

In this paper, we show how a class of operators used in the analysis of measures from wavelets and iterated function systems may be understood from a special family of representations of Cuntz algebras.

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…

We report on generalizations of the KdV-type integrable hierarchies of Drinfel'd and Sokolov. These hierarchies lead to the existence of new classical $W$-algebras, which arise as the second Hamiltonian structure of the hierarchies. In…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of…

Every diagonalmatrix D yields an endomorphism on the n-dimensional complex vectorspace. If one provides this space with Hoelder norms, we can compute the operator norm of D. We define homogeneous weighted spaces as a generalization of…

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…

We present a new solution to the classification problem for the category of representations of a quiver of type $\widetilde{A}_{3}$. Our approach uses linear algebra techniques which lead us to a reduction that allows to use induction. As…

The theory of coalgebras, for an endofunctor on a category, has been proposed as a general theory of transition systems. We investigate and relate four generalizations of bisimulation to this setting, providing conditions under which the…

In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching…

We introduce a new class of unitary transformations based on the su(1,1) Lie algebra that generalizes, for certain particular representations of its generators, well-known squeezing transformations in quantum optics. To illustrate our…

Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective) deloopings, and the K-theory functor…

A distinguished algebraic variety in $\mathbb{C}^2$ has been the focus of much research in recent years because of good reasons. This note gives a different perspective. (1) We find a new characterization of an algebraic variety $\mathcal…