Related papers: Cubical coherent confluence, $\omega$-groupoids an…
Sesqui-pushout (SqPO) rewriting is a variant of transformations of graph-like and other types of structures that fit into the framework of adhesive categories where deletion in unknown context may be implemented. We provide the first…
We introduce a concept of an embedding of a quadratic space in an associative algebra. The general properties of such embeddings are analyzed by linking it to the Clifford algebra. Conversely, there isa simple description of the standard…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an…
In this work, we propose a novel framework for defining the dual structure of a spinor. This construction relies on the basis elements of the Clifford algebra, leading to a covariant structure that embeds the dual. The formulation includes…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
We generalize the concept of cubic group into any dimension and derive their conjugate classifications and representation theorys. Double group and spinor representation are defined. A detailed calculation is carried out on the structures…
Lumsdaine (2010) and van den Berg-Garner (2011) proved that types in Martin-L\"of type theory carry the structure of weak {\omega}-groupoids. Their proofs, while foundational, rely on abstract properties of the identity type without…
This article describes the *Confluence Framework*, a novel framework for proving and disproving confluence using a divide-and-conquer modular strategy, and its implementation in CONFident. Using this approach, we are able to automatically…
For each quadratic form Q in Quad(V) over a given vector space over a field R we have the Clifford algebra Cl(V,Q) defined as the quotient T(V)/I(Q) of the tensor algebra T(V) over the two-sided ideal generated by expressions of the form $x…
Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…
We construct algebras from rhombohedral tilings of Euclidean space obtained as projections of certain cubical complexes. We show that these `Cubist algebras' satisfy strong homological properties, such as Koszulity and quasi-heredity,…
Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the…
There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of groupoids and foliations, coverings of noncommutative tori, the double…
We reexamine the notions of generalized Ricci tensor and scalar curvature on a general Courant algebroid, reformulate them using objects natural w.r.t. pull-backs and reductions, and obtain them from the variation of a natural action…
We prove a codimension reduction and congruence theorem for compact $n$-dimensional submanifolds of $\mathbb{S}^{n+p}$ that admit a mean convex isometric embedding into $\mathbb{S}^{n+1}_+$ using a Reilly type formula for space forms.
We explore non-Abelian strings in the r=N-1 vacuum of N=2 supersymmetric QCD with the gauge group U(N) and N_f flavors of quarks (N_f\geq N), where r is the number of condensed quarks. N=2 supersymmetry is broken down to N=1 by a small mass…
The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real…
We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for $\mathcal{C}$ a braided tensor category, we give a detailed construction of the…
The explicit solvability of quantum superintegrable systems is due to symmetry, but the symmetry is often "hidden". The symmetry generators of 2nd order superintegrable systems in 2 dimensions close under commutation to define quadratic…