Related papers: Realizability in OCAs and AKSs

We prove that the inclusion of map(X,Y) into map(K(X),K(Y)) is continuous, where K(X) is the space of non-empty compact subsets of X (also known as the hyperspace of compact subsets of X), and both spaces of maps are endowed with the…

With every pca $\mathcal{A}$ and subpca $\mathcal{A}_\#$ we associate the nested realizability topos $\mathsf{RT}(\mathcal{A},\mathcal{A}_\#)$ within which we identify a class of small maps $\mathcal{S}$ giving rise to a model of…

Does a conformal manifold imply the existence of exactly marginal operators? We answer this question affirmatively under the assumption that there exists a conformal interface with certain properties connecting nearby CFTs. We show that the…

We show that the set of $2$-isometries on an infinite-dimensional Hilbert space is not closed in the strong operator topology. In fact, we prove that its SOT-closure coincides with the set of all expansive operators.

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is…

We prove a connectivity bound for maps of $\infty$-operads of the form $\mathbb{A}_{k_1} \otimes \cdots \otimes \mathbb{A}_{k_n} \to \mathbb{E}_n$, and as a consequence, give an inductive way to construct $\mathbb{E}_n$-algebras in…

We study the connectedness locus $\mathcal{N}$ for the family of iterated function systems of pairs of homogeneous affine-linear maps in the plane. We prove this set is regular closed (i.e., it is the closure of its interior) away from the…

Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support…

In this paper, we introduce the notion of oriented faces especially triangles in a connected oriented locally finite graph. This framework then permits to define the Laplace operator on this structure of the 2-simplicial complex. We develop…

Following several papers in the prior literature, we study the relationship between order bounded operators, topologically bounded operators and topologically continuous operators. Our main contribution is two folded: (i) we provide a set…

In the recent years, a lot of attention has been paid to the development of solid foundations for the composition and inversion of schema mappings. In this paper, we review the proposals for the semantics of these crucial operators. For…

In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and…

In this paper, we present a concise development of the well-studied theory of trace class operators on infinite dimensional (separable) Hilbert spaces suitable for an advanced undergraduate, as well as a construction of the inverse…

We present a new non-blocking doubly-linked list implementation for an asynchronous shared-memory system. It is the first such implementation for which an upper bound on amortized time complexity has been proved. In our implementation,…

We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are…

Being inspired by phasor analysis in linear circuit theory, and its algebraic counterpart - the AC-(operational)-calculus for sinusoids developed by W. Marten and W. Mathis - we define a complex structure on several spaces of real-valued…

We construct a topology on the standard Hilbert module $l^2(\mathcal A)$ over a unital $W^*$-algebra $\mathcal A$ such that any "compact" operator, (i.e.\ any operator in the norm closure of the linear span of the operators of the form…

We introduce a matricial analogue of an Archimedean order unit space, which we call a $k$-AOU space. We develop the category of $k$-AOU spaces and $k$-positive maps and exhibit functors from this category to the category of operator systems…

Further extensions are given to the fixed point result (for implicit contractions) due to Altun and Simsek [Fixed Point Th. Appl., Volume 2010, Article ID 621469]. Some connections with related statements in the area due to Agarwal,…