Related papers: Classical structures of CP maps are all canonical
We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient…
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…
We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with…
We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality.…
This paper defines a pairing of two finite Hopf C*-algebras $A$ and $B$, and investigates the interactions between them. If the pairing is non-degenerate, then the quantum double construction is given. This construction yields a new finite…
Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…
For any number field F, call a cusp form \pi on GL(2)/F {\it special icosahedral}, or just s-icosahedral for short, if \pi is not solvable polyhedral, and for a suitable "conjugate" cusp form \pi' on GL(2)/F, sym^3(\pi) is isomorphic to…
Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups…
We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When…
We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $\Lambda$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian,…
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…
In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group $G$, a parabolic subgroup $P_J$, and its…
Let $p$ be a prime number and $F$ a local field with residual characteristic $p$. In this article, to an irreducible smooth representation of $GL_2(F)$ over $\bar{\mathbf{F}}_p$ with central character, we associate canonically a diagram…
As shown by Abramsky and Coecke, quantum mechanics can be studied in terms of dagger compact closed categories with biproducts. Within this structure, many well-known quantum protocols can be described and their validity can be shown by…
We describe the holonomy algebras of all canonical connections and their action on complex hyperbolic spaces $\mathbb{C}\mathrm{H}(n)$ in all dimensions ($n\in\mathbb{N}$). This thorough investigation yields a formula for all Kahler…
Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can…
We consider codes defined over an affine algebra $\mathcal A=R[X_1,\dots,X_r]/\left\langle t_1(X_1),\dots,t_r(X_r)\right\rangle$, where $t_i(X_i)$ is a monic univariate polynomial over a finite commutative chain ring $R$. Namely, we study…
We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on…