Related papers: On webs in quantum type $C$
To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…
We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…
In this paper, we define, from a finite set E of functions, a family of holomorphic webs ${\cal W}(n;E)$ of codimension one in any dimension $ n $. We prove that it is sufficient to check a finite number of conditions for these webs to be…
We introduce a $p$-adic analytic analogue of Backelin and Kremnizer's construction of the quantum flag variety of a semisimple algebraic group, when $q$ is not a root of unity and $| q-1|<1$. We then define a category of $\lambda$-twisted…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
In this text, we investigate webs which can be associated to cluster algebras from the point of view of the abelian functional equations these webs carry, focusing on the polylogarithmic ones. We introduce a general notion of webs whose…
We construct an explicit equivalence between the (bi)category of gl(2) webs and foams and the Bar-Natan (bi)category of Temperley-Lieb diagrams and cobordisms. With this equivalence we can fix functoriality of every link homology theory…
In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow…
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points, is an…
This article presents a new quantum PageRank algorithm on graphs using discrete-time open quantum walks. Google's PageRank is a widely used algorithm for ranking the web pages on the World Wide Web in classical computation. From a broader…
We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…
We prove a topological version of the section conjecture for the profinite completion of the fundamental group of finite CW-complexes equipped with the action of a group of prime order $p$ whose $p$-torsion cohomology can be killed by…
This paper presents some basic facts about the so-called connectivity spaces. In particular, it studies the generation of connectivity structures, the existence of limits and colimits in the main categories of connectivity spaces, the…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
In this article, we study quantum critical phenomena in surfaces of symmetry-protected topological matter, i.e. surface topological quantum criticality. A generic phase boundary of gapless surfaces in a symmetry-protected state shall be a…
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatical structure is described, and a toy example is used as an…
Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…
Consider a unitary representation $\pi$ of a discrete group $G$, which, when restricted to an almost normal subgroup $\Gamma\subseteq G$, is of type II. We analyze the associated unitary representation $\overline{\pi}^{\rm{p}}$ of $G$ on…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
The present note studies \emph{surjective rational endomorphisms} $f: \mathbb{P}^2 \dashrightarrow \mathbb{P}^2$ with \emph{cubic} terms and the indeterminacy locus $I_f \ne \emptyset$. We develop an experimental approach, based on some…