English
Related papers

Related papers: Coproducts of distributive lattice-based algebras

200 papers

Dualising the construction of a polyhedral product, we introduce the notion of a polyhedral coproduct as a certain homotopy limit over the face poset of a simplicial complex. We begin a study of the basic properties of polyhedral…

Algebraic Topology · Mathematics 2025-06-04 Steven Amelotte , William Hornslien , Lewis Stanton

For a finite group $G$, $G$-transfer systems are combinatorial objects which encode the homotopy category of $G$-$N_\infty$ operads, whose algebras in $G$-spectra are $E_\infty$ $G$-spectra with a specified collection of multiplicative…

Algebraic Topology · Mathematics 2021-06-22 Evan E. Franchere , Kyle Ormsby , Angélica M Osorno , Weihang Qin , Riley Waugh

In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap…

Logic in Computer Science · Computer Science 2020-02-28 Rui Paiva , Benjamín Bedregal , Regivan Santiago

Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…

Information Theory · Computer Science 2021-01-01 Juerg Kohlas , Juerg Schmid

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

Logic · Mathematics 2021-05-18 Ivan Chajda , Helmut Länger

Let $P$ be a unital subsemigroup of a group $G$. We propose an approach to $\mathrm{C}^*$-algebras associated to product systems over $P$. We call the $\mathrm{C}^*$-algebra of a given product system $\mathcal{E}$ its covariance algebra and…

Operator Algebras · Mathematics 2018-11-21 Camila F. Sehnem

The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…

Quantum Algebra · Mathematics 2020-08-25 Elmar Wagner

The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a…

Rings and Algebras · Mathematics 2017-06-15 George Georgescu , Claudia Mureşan

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

Algebraic Topology · Mathematics 2014-02-26 Kathryn Hess , Brooke Shipley

This is a survey on selected developments in the theory of natural dualities where the author had the opportunity to make with his foreign colleagues several breakthroughs and move the theory forward. It is aimed as author's reflection on…

Category Theory · Mathematics 2020-01-01 Miroslav Haviar

We provide a prorepresenting object for the noncommutative derived deformation problem of deforming a module $X$ over a differential graded algebra. Roughly, we show that the corresponding deformation functor is homotopy prorepresented by…

Algebraic Geometry · Mathematics 2021-11-25 Matt Booth

We study the (restricted) Nagata product construction, which produces a partially ordered semigroup from a bimodule consisting of a partially ordered semigroup acting on a (pointed) join semilattice. A canonical example of such a bimodule…

Logic · Mathematics 2025-05-19 Adam Přenosil , Constantine Tsinakis

In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…

Logic · Mathematics 2023-12-19 Sergio Celani , Agustín Nagy , William Zuluaga Botero

We introduce a notion of residual derivative for elements of a preordered set, a construction that generalizes both the Frattini subgroup in algebra and the Cantor-Bendixson derivative in T1 topological spaces. For dual algebraic coframes…

Dynamical Systems · Mathematics 2026-05-15 Silvère Gangloff , Alonso Nuñez

We study the effect of linear duality on action bialgebroids (also known as smash product or scalar extension bialgebroids) and, for those bearing a quantisation nature, the effect of Drinfeld functors underlying the quantum duality…

Rings and Algebras · Mathematics 2025-11-12 Sophie Chemla , Fabio Gavarini , Niels Kowalzig

A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra…

Rings and Algebras · Mathematics 2012-10-17 Alfons Van Daele , Shuanhong Wang

It is known that every relatively pseudocomplemented lattice is residuated and, moreover, it is distributive. Unfortunately, non-distributive lattices with a unary operation satisfying properties similar to relative pseudocomplementation…

Logic · Mathematics 2019-01-23 Ivan Chajda , Helmut Länger

This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae…

Algebraic Topology · Mathematics 2012-04-03 Sylvain E. Cappell , Laurentiu Maxim , Julius L. Shaneson

We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…

Mathematical Physics · Physics 2022-04-15 Maxime Savoy

Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…

Formal Languages and Automata Theory · Computer Science 2025-06-09 Anton Chernev , Corina Cîrstea , Helle Hvid Hansen , Clemens Kupke