Related papers: Abstract Physical Traces
We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…
We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories…
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…
We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…
We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective…
In this paper, we employ two types of implicit relations to define some new kind of proximal contractions and study about their best proximity points. More precisely, we use two class of functions $\mathcal{A}$ and $\mathcal{A}'$ to explore…
When finding an original proof to a known result describing expansive mappings on compact metric spaces as surjective isometries, we reveal that relaxing the condition of compactness to total boundedness preserves the isometry property and…
We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…
If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact…
In this paper, we study the compactness of the product and the commutator of two inner projections on the Hardy spaces over the unit disk and the polydisc. For the single-variable case, we provide a complete characterization of the…
A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends…
The classical notion of twisted product is studied in the context of partial actions, in particular, we show that the globalization of a partial action is a twisted product. In addition, we establish conditions for the metrizability of…
Taking matrix as a synonym for a numerical function on the Cartesian product of two (in general, infinite) sets, a simple purely algebraic "reciprocity property" says that the set of rows spans a finite-dim space iff the set of columns does…
Akin's notion of good measure, introduced to classify measures on Cantor sets has been translated to dimension groups and corresponding traces by Bezuglyi and the author, but emphasizing the simple (minimal dynamical system) case. Here we…
We consider the equivariant Kasparov category associated to an \'etale groupoid, and by leveraging its triangulated structure we study its localization at the "weakly contractible" objects, extending previous work by R. Meyer and R. Nest.…