English
Related papers

Related papers: d-Boolean algebras and their bitopological represe…

200 papers

We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…

Algebraic Topology · Mathematics 2014-01-21 Andrey Lazarev , Martin Markl

We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent…

Logic · Mathematics 2012-09-04 Piotr Koszmider , Saharon Shelah

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence,…

Logic in Computer Science · Computer Science 2023-06-22 Simon Docherty , David Pym

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

Differential Geometry · Mathematics 2013-09-17 Jordan Watts

We consider the scator space - a hypercomplex, non-distributive hyperbolic algebra introduced by Fern\'andez-Guasti and Zald\'ivar. We discuss isometries of the scator space and find consequent method for treating them algebraically, along…

Mathematical Physics · Physics 2015-06-18 Artur Kobus , Jan L. Cieśliński

We connect Priestley duality for distributive lattices and its generalization to distributive meet-semilattices to Hofmann-Mislove-Stralka duality for semilattices. Among other things, this involves consideration of various morphisms…

Logic · Mathematics 2024-11-25 Guram Bezhanishvili , Luca Carai , Patrick Morandi

Let $C$ be a differential graded coalgebra, $ \bar\Omega C$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the…

Algebraic Topology · Mathematics 2007-05-23 Yves Félix , Luc Menichi , Jean-Claude Thomas

The Boolean algebra of regular closed sets is prominent in topology, particularly as a dual for the Stone-Cech compactification. This algebra is also central for the theory of geometric computation, as a representation for combinatorial…

We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.

Combinatorics · Mathematics 2008-02-28 Rafael Diaz , Mariolys Rivas

We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing…

Commutative Algebra · Mathematics 2021-06-30 Askold Khovanskii , Leonid Monin

Working within the path-integral framework we first establish a duality between the partion functions of two $U(1)$ gauge theories with a theta term in $d=4$ space-time dimensions. Then, after a dimensional reduction to $d=3$ dimensions we…

High Energy Physics - Theory · Physics 2021-09-22 Enrique F. Moreno , Fidel A. Schaposnik

We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…

Differential Geometry · Mathematics 2025-12-01 Stefano Ronchi , Chenchang Zhu

It is shown that two$(1 + 1)$-dimensional (2D) free Abelian- and self-interacting non-Abelian gauge theories (without any interaction with matter fields) belong to a new class of topological field theories. These new theories capture…

High Energy Physics - Theory · Physics 2016-09-06 R. P. Malik

Moisil in 1941, while constructing the algebraic models of n-valued {\L}ukasiewicz logic defined the set $B^{[n]}$,where $B$ is a Boolean algebra and `n' being a natural number. Further it was proved by Moisil himself the representations of…

Logic · Mathematics 2017-10-09 Arun Kumar

In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with…

Algebraic Topology · Mathematics 2010-02-20 Dev Sinha

Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the familiar pairing on the…

Algebraic Topology · Mathematics 2023-01-10 Jonathan A. Campbell , Kate Ponto

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

General Topology · Mathematics 2014-12-16 Massoud Amini , Nasser Golestani

We describe topological gauge theories for which duality properties are encoded by construction. We study them for compact manifolds of dimensions four, eight and two. The fields and their duals are treated symmetrically, within the context…

High Energy Physics - Theory · Physics 2009-10-31 L Baulieu , S. L. Shatashvili

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott space $\Sigma L$, on the context of directed spaces, are…

Logic in Computer Science · Computer Science 2023-06-30 Yuxu Chen , Hui Kou , Zhenchao Lyu

We give a framework to describe abelian bosonic topological systems with parity symmetry on a torus in terms of the projective representation of $GL(2,\mathbb{Z})$. However, this information alone does not guarantee that we can assign…

High Energy Physics - Theory · Physics 2026-01-21 Ippo Orii