Related papers: The compact double category $\mathbf{Int}(\mathbf{…
Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded…
Circuits based on sum-product structure have become a ubiquitous representation to compactly encode knowledge, from Boolean functions to probability distributions. By imposing constraints on the structure of such circuits, certain inference…
We study the simplest example of mirror symmetry for 3d $\mathcal N=4$ SUSY gauge theories: the A-twist of a free hypermultiplet and the B-twist of SQED. We particularly focus on the category of line operators in each theory. Using the work…
By the use of the celebrated Kato's inequality we obtain in this paper some new inequalities for trace class operators on a complex Hilbert space H. Natural applications for functions defined by power series of normal operators are given as…
Given an irreducible representation of a group G, we show that all the covariant positive operator valued measures based on G/Z, where Z is a central subgroup, are described by trace class, trace one positive operators.
The defining conditions for the irreducible tensor operators associated with the unitary irreducible corepresentions of compact quantum group algebras are deduced first in both the right and left regular coaction formalisms. In each case it…
This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP*, that is…
A weave is the lift to the Euclidean thickened plane of a set of infinitely many planar crossed geodesics, that can be characterized by a number of sets of threads describing the organization of the non-intersecting curves, together with a…
We present a theory for slicing probabilistic imperative programs -- containing random assignments, and ``observe'' statements (for conditioning) -- represented as probabilistic control-flow graphs (pCFGs) whose nodes modify probability…
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…
Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…
Directed wiring diagrams can be used as a composition pattern for composing input/output systems such as Moore machines. In a Moore machine, the input parametrizes an internal state and the internal state defines the output. Because the…
In this paper, we study the dynamics of an operator $\mathcal T$ naturally associated to the so-called Collatz map, which maps an integer $n \geq 0$ to $n / 2$ if $n$ is even and $3n + 1$ if $n$ is odd. This operator $\mathcal T$ is defined…
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…
We describe how self-adjoint ordered operator spaces, also called non-unital operator systems in the literature, can be understood as $*$-vector spaces equipped with a matrix gauge structure. We explain how this perspective has several…
In this work we consider the $\eta$-invariant for pseudodifferential operators of tensor product type, also called bisingular pseudodifferential operators. We study complex powers of classical bisingular operators. We prove the trace…
A new category $\mathfrak{dp}$, called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a $2-$category $2-\mathfrak{dp}$, where the irreducible plurality of species of…
An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Ar{\i}kan style constructions. This paper, which is presented in two…
Constraint automata (CA) constitute a coordination model based on finite automata on infinite words. Originally introduced for modeling of coordinators, an interesting new application of CAs is implementing coordinators (i.e., compiling CAs…
The Partially Ordered Workflow Language (POWL) has recently emerged as a process modeling notation, offering strong quality guarantees and high expressiveness. While early versions of POWL relied on strict block-structured operators for…