相关论文: The Category of Operator Spaces and Complete Contr…

We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces. As an application, we prove that quantum maps with…

We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with…

Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence…

We exhibit a functor from the category OUS of order unit spaces and positive, unit-preserving mappings into the category $\Prob$ of probabilistic models (test spaces with designated state spaces) and morphisms thereof. Restricted to any…

Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question.…

Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…

We study positive operator-valued measures generated by orbits of projective unitary representations of locally compact Abelian groups. It is shown that integration over such a measure defines a family of contractions being multiples of…

Based on the success of a well-known method for solving higher order linear differential equations, a study of two of the most important mathematical features of that method, viz. the null spaces and commutativity of the product of…

We extend the definition, from the class of abelian groups to a general locally compact group G, of Feichtinger's remarkable Segal algebra S_0(G). In order to obtain functorial properties for non-abelain groups, in particular a tensor…

We give an introduction to logic tailored for algebraists, explaining how proofs in linear logic can be viewed as algorithms for constructing morphisms in symmetric closed monoidal categories with additional structure. This is made explicit…

We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebraic framework to capture common scientific applications such…

We describe free rigid commutative algebras in $2$-presentably symmetric monoidal $(\infty,2)$-categories as oplax colimits over the $1$-dimensional framed cobordism category. The special case of the $(\infty,2)$-category…

Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

We demonstrate new abstract characterizations for unital and non-unital operator spaces. We characterize unital operator spaces in terms of the cone of accretive operators (operators whose real part is positive). Defining the gauge of an…

We introduce a class of (tuples of commuting) unbounded operators on a Banach space, admitting smooth functional calculi, that contains all operators of Helffer-Sj\"ostrand type and is closed under the action of smooth proper mappings.…

In conformal field theory in Minkowski momentum space, the 3-point correlation functions of local operators are completely fixed by symmetry. Using Ward identities together with the existence of a Lorentzian operator product expansion…

We introduce two notions of coarse embeddability between operator spaces: almost complete coarse embeddability of bounded subsets and spherically-complete coarse embeddability. We provide examples showing that these notions are strictly…