Related papers: Algebraic coherent confluence and higher globular …
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E…
In the derived category of mod-KQ for Dynkin quiver Q, we construct a full subcategory in a canonical way, so that its endomorphism algebra is a higher Auslander algebra of global dimension $3k+2$ for any $k\geq 1$. Furthermore, we extend…
We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. Additionally, we…
We propose a new formalism for specifying and reasoning about problems that involve heterogeneous "pieces of information" -- large collections of data, decision procedures of any kind and complexity and connections between them. The essence…
A Galilean contraction is a way to construct Galilean conformal algebras from a pair of infinite-dimensional conformal algebras, or equivalently, a method for contracting tensor products of vertex algebras. Here, we present a generalisation…
In this paper we combine many of the standard and more recent algebraic techniques for testing isomorphism of finite groups (GpI) with combinatorial techniques that have typically been applied to Graph Isomorphism. In particular, we show…
The confluence of untyped \lambda-calculus with unconditional rewriting is now well un- derstood. In this paper, we investigate the confluence of \lambda-calculus with conditional rewriting and provide general results in two directions.…
We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott's Graph model, equality is computable relative to the complement function. However, the converse is not true.…
We establish sufficient conditions, involving Rankin--Cohen (RC) brackets, under which certain combinations of meromorphic quasi-modular forms and their derivatives yield meromorphic modular forms. To achieve this, we adopt an algebraic…
Given a universal Horn formula of Kleene algebra with hypotheses of the form r = 0, it is already known that we can efficiently construct an equation which is valid if and only if the Horn formula is valid. This is an example of…
In this work we extend the notion of co-algebra, co-algebraic Wess-Zumino-Witten formulation of Lagrangian Field Theory and the Homotopy transfer theorem to many strings and particle systems. We discuss in detail the construction of higher…
Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved…
In this note we first consider a ternary matrix group related to the von Neumann regular semigroups and to the Artin braid group (in an algebraic way). The product of a special kind of ternary matrices (idempotent and of finite order)…
Given a finitely aligned $k$-graph $\Lambda$, we let $\Lambda^i$ denote the $(k-1)$-graph formed by removing all edges of degree $e_i$ from $\Lambda$. We show that the Toeplitz-Cuntz-Krieger algebra of $\Lambda$, denoted by…
We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…
The unified correspondence theory for distributive lattice expansion logics (DLE-logics) is specialized to strict implication logics. As a consequence of a general semantic consevativity result, a wide range of strict implication logics can…
A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…
Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of fundamental results related…
A famous theorem of Kuratowski states that in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a given set. We re-examine this theorem in the setting of formal…