Related papers: Invertibility and parity in symmetric monoidal cat…

We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the…

Recently, the theory of symmetric spaces has come to play an increased role in the physics of integrable systems and in quantum transport problems. In addition, it provides a classification of random matrix theories. In this paper we give a…

We present a proof of the fact that in a symmetric monoidal category over a field of characteristic zero, objects with an invertible exterior power are rigid. As an application we prove two recent conjectures on dimensions in symmetric…

Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

The aim of this paper is to study symmetries of linearly singular differential equations, namely, equations that can not be written in normal form because the derivatives are multiplied by a singular linear operator. The concept of…

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

Four lectures on invertible field theories at the Park City Mathematics Institute 2019. Cobordism categories are introduced both as plain categories and topologically enriched. We then discuss localization of categories and its relationship…

The code equivalence problem is central in coding theory and cryptography. While classical invariants are effective for Hamming and rank metrics, the sum-rank metric, which unifies both, introduces new challenges. This paper introduces new…

We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…

We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result…

We determine when an antiinvolution on an adjoint semisimple linear algebraic group extends to an antiinvolution on a $J$-irreducible monoid. Using this information, we study a special class of compactifications of symmetric varieties.…

We introduce superequivalence and superuniform spaces.

Using the algebraic approach Lie symmetries of time dependent Schroedinger equations for charged particles interacting with superpositions of scalar and vector potentials are classified. Namely, all the inequivalent equations admitting…

A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free…

For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty…

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

A superintegrable system is, roughly speaking, a system that allows more integrals of motion than degrees of freedom. This review is devoted to finite dimensional classical and quantum superintegrable systems with scalar potentials and…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

The known problem of fermion parity is considered on the base of investigating possible linear single-valued representations of spinor coverings of the extended Lorentz group. It is shown that in the frame of this theory does not exist, as…