Related papers: Cubical coherent confluence, $\omega$-groupoids an…
We design a Rocq library about adhesive categories, using Hierarchy Builder (HB). It is built around two hierarchies. The first is for categories, with usual categories at the bottom and adhesive categories at the top, with weaker variants…
By applying the recurrence approach and coupling constant metamorphosis, we construct higher order integrals of motion for the Stackel equivalents of the $N$-dimensional superintegrable Kepler-Coulomb model with non-central terms and the…
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…
We formulate a general principle that supplants a Boolean \sigma-algebra of intrinsic properties of a classical system by a \sigma-complex (a union of \sigma-algebras) of extrinsic properties of a quantum system that are elicited by…
We study the cubic vertices for Maxwell-like higher-spins in flat and (A)dS background spaces of any dimension. Reducibility of their free spectra implies that a single cubic vertex involving any three fields subsumes a number of couplings…
We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating…
Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics…
We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph rewriting. By examples, we show how this paradigm of software development makes it…
We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly…
We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated posets on vertices generalize Barnard--McConville's flip order for graph-associahedra,…
We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as…
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large…
We show how confluence criteria based on decreasing diagrams are generalized to ones composable with other criteria. For demonstration of the method, the confluence criteria of orthogonality, rule labeling, and critical pair systems for…
We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of…
Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial…
We show that, under suitable hypotheses, the coned-off spaces associated to $C(9)$ cubical small-cancellation presentations are aspherical, and use this to provide classifying spaces, or classifying spaces for proper actions, for their…
In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…
We study a class of algebras with non-Lie commutation relations whose symplectic leaves are surfaces of revolution: a cylinder or a torus. Over each of such surfaces we introduce a family of complex structures and Hilbert spaces of…
Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while satisfying a soundness condition. We reconcile cyclic proofs with traditional finite proofs: we extend abstract…
Quantum Clifford Algebras (QCA), i.e. Clifford Hopf gebras based on bilinear forms of arbitrary symmetry, are treated in a broad sense. Five alternative constructions of QCAs are exhibited. Grade free Hopf gebraic product formulas are…