Related papers: The $\infty$-Categorical Eckmann-Hilton Argument

For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…

There are several proofs of the classical commutant lifting and intertwining lifting theorems in the literature. In this article, we present analogous proofs to a few $Q$-commuting lifting and $Q$-intertwining lifting theorems. We provide…

Assume that $A$ is a closed linear operator defined on all of a Hilbert space $H$. Then $A$ is bounded. A new short proof of this classical theorem is given on the basis of the uniform boundedness principle. The proof can be easily extended…

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…

Let $T$ be a quadratic operator on a complex Hilbert space $H$. We show that $T$ can be written as a product of two positive contractions if and only if $T$ is of the form $$aI \oplus bI \oplus\begin{pmatrix} aI & P \cr 0 & bI \cr…

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…

Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…

To any action of a compact quantum group on a von Neumann algebra which is a direct sum of factors we associate an equivalence relation corresponding to the partition of a space into orbits of the action. We show that in case all factors…

If a differential operator $D$ on a smooth Hermitian vector bundle $S$ over a compact manifold $M$ is symmetric, it is essentially self-adjoint and so admits the use of functional calculus. If $D$ is also elliptic, then the Hilbert space of…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

We prove that the (hermitian) rank of $QP^d$ is bounded from below by the rank of $P^d$ whenever $Q$ is not identically zero and real-analytic in a neighborhood of some point on the zero set of $P$ in $\mathbb{C}^n$ and $P$ is a polynomial…

We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles…

We prove the classical Riemann-Roch theorems for the Adams operations $\,\psi^j\,$ on $K$-theory: a statement with coefficients on $\mathbb{Z}[j^{-1}]$, that holds for arbitrary projective morphisms, as well as another one with integral…

Assume $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$. Let $E$ be a $\mathbf{\Sigma}^1_1$ equivalence relation coded in $\mathrm{HOD}$. $E$ has an ordinal definable equivalence class without any ordinal definable elements if and only…

We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

An axiomatic theory of operator connections and operator means was investigated by Kubo and Ando in 1980. A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the…

We prove (Theorem 2.4) that the symmetrized deleted join $SymmDelJoin(\mathcal{K})$ of a "balanced family" $\mathcal{K} = \langle K_i\rangle_{i=1}^r$ of collectively $r$-unavoidable subcomplexes of $2^{[m]}$ is $(m-r-1)$-connected. As a…

In this paper, we present an explicit formula that connects the Kontsevich-Witten tau-function and the Hodge tau-function by differential operators belonging to the $\hat{GL(\infty)}$ group. Indeed, we show that the two tau-functions can be…

Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe such a logic, the logic of compact closed categories and…