Related papers: New perspectives on semi-primal varieties
We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We define support varieties in an axiomatic setting using the prime spectrum of a lattice of ideals. A key observation is the functoriality of the spectrum and that this functor admits an adjoint. We assign to each ideal its support and can…
The kernel relation $K$ on the lattice $\mathcal{L}(\mathcal{CR})$ of varieties of completely regular semigroups has been a central component in many investigations into the structure of $\mathcal{L}(\mathcal{CR})$. However, apart from the…
This paper focuses on semilattices with adjunctions (SLatas), which are semilattices with a greatest element enriched with a pair of adjoint maps. We develop a spectral-style duality for SLatas, building on prior topological dualities for…
Combining tools from category theory, model theory, and non-standard analysis we extend Baker-Beynon dualities to the classes of all Abelian $\ell$-groups and all Riesz spaces (also known as vector lattices). The extended dualities have a…
In this paper, we consider Abelian varieties over function fields that arise as twists of Abelian varieties by cyclic covers of irreducible quasi-projective varieties. Then, in terms of Prym varieties associated to the cyclic covers, we…
We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal…
This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties…
New heterotic modular invariants are found using the level-rank duality of affine Kac-Moody algebras. They provide strong evidence for the consistency of an infinite list of heterotic Wess-Zumino-Witten (WZW) conformal field theories. We…
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
We study the structure of the Mordell--Weil groups of semiabelian varieties over large algebraic extensions of a finitely generated field of characteristic zero. We consider two types of algebraic extensions in this paper; one is of…
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…
Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category…
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…