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

We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable and a model of Intuitionistic Linear Logic in the sense of Lafont. We then describe a model of Classical Linear…

In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion…

We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the…

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…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…

We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…

We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…

We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…

Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

In this paper we give description of free and cofree objects in the category of operator sequence spaces. First we show that this category possess the same duality theory as category of normed spaces, then with the aid of these results we…

We show that certain spaces of log-integrable functions and operators are complete topological *-algebras with respect to a natural metric space structure. We explore connections with the Nevanlinna class of holomorphic functions.

In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of $\infty$-operads, the other of which is…

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces.

Some results on fixed points related to the contractive compositions of bounded operators in complete metric spaces are discussed through the manuscript. The class of composite operators under study can include, in particular, sequences of…

This paper explicitely constructs cofree coalgebras over operads in the category of DG-modules. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). It is shown that the existence…

It is a classical theorem that the free product of ordered groups is orderable. In this note we show that, using a method of G. Bergman, an ordering of the free product can be constructed in a functorial manner, in the category of ordered…

Parallel to the study of finite dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces H_n^k,0< k < n+1, generalizing the row and column…