English
Related papers

Related papers: Unital Specker $\ell$-groups and boolean multispac…

200 papers

The category of I-spaces is the diagram category of spaces indexed by finite sets and injections. This is a symmetric monoidal category whose commutative monoids model all E-infinity spaces. Working in the category of I-spaces enables us to…

Algebraic Topology · Mathematics 2014-10-01 Steffen Sagave , Christian Schlichtkrull

Under non-commutative Stone duality, there is a correspondence between second countable Hausdorff \'etale groupoids which have a Cantor space of identities and what we call Tarski inverse monoids: that is, countable Boolean inverse…

Category Theory · Mathematics 2016-02-09 Mark V. Lawson

A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear combination of orthogonal idempotents so that the sum of…

Rings and Algebras · Mathematics 2013-06-14 Guram Bezhanishvili , Vincenzo Marra , Patrick J. Morandi , Bruce Olberding

We employ an algebraic approach for unifying perturbative and non-perturbative superstring states on an equal footing, in the form of U-duality multiplets, at all excited string levels. In compactified type-IIA supertring theory we present…

High Energy Physics - Theory · Physics 2009-10-28 Itzhak Bars , Shimon Yankielowicz

By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…

Combinatorics · Mathematics 2012-02-28 Leonardo Manuel Cabrer

This paper describes an equivalence of the canonical category of $\mathbb N$-manifolds of degree $2$ with a category of involutive double vector bundles. More precisely, we show how involutive double vector bundles are in duality with…

Differential Geometry · Mathematics 2018-09-26 Madeleine Jotz Lean

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…

Algebraic Topology · Mathematics 2018-03-23 Emanuel Rodríguez Cirone

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces…

Operator Algebras · Mathematics 2026-02-24 Tobias Fritz , Antonio Lorenzin

We introduce a class of inverse monoids that can be regarded as non-commutative generalizations of Boolean algebras. These inverse monoids are related to a class of \'etale topological groupoids, under a non-commutative generalization of…

Category Theory · Mathematics 2014-07-08 Mark V Lawson

We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our…

Logic · Mathematics 2021-06-09 Wesley Fussner , Sara Ugolini

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions…

Logic · Mathematics 2015-05-15 Mai Gehrke , Samuel J. van Gool , Vincenzo Marra

We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values…

Algebraic Geometry · Mathematics 2014-06-04 Masaki Kashiwara , Pierre Schapira

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

Logic in Computer Science · Computer Science 2026-05-20 Richard Garner , Alyssa Renata , Nicolas Wu

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

Category Theory · Mathematics 2015-01-29 Simon Henry

We give a general description of the spectral space of conjugacy classes of subgroups of Sp(2): it is a disjoint union of finitely many blocks, each dominated by a subgroup: of these blocks, 26 are of dimension 1, 6 are of dimension 2 and…

Algebraic Topology · Mathematics 2026-04-29 John Greenlees

In this paper we introduce the concept of MV-topology, a special class of fuzzy topological spaces, and prove a proper extension of Stone Duality to the categories of limit cut complete MV-algebras and Stone MV-spaces, namely,…

Logic · Mathematics 2015-11-13 Ciro Russo

Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite…

Logic in Computer Science · Computer Science 2016-03-29 Mai Gehrke , Daniela Petrisan , Luca Reggio

The notion of support provides an analogue of Stone duality, relating lattices to topological spaces. This note aims to explain in lattice theoretic terms what has been developed in the context of triangulated categories. In particular, the…

Category Theory · Mathematics 2023-07-25 Henning Krause

We identify a close relationship between stable sheaf cohomology for polynomial functors applied to the cotangent bundle on projective space, and Koszul--Ringel duality on the category of strict polynomial functors as described in the work…

Representation Theory · Mathematics 2025-09-12 Claudiu Raicu , Keller VandeBogert

We present a duality between the category of compact Riemannian spin manifolds (equipped with a given spin bundle and charge conjugation) with isometries as morphisms and a suitable "metric" category of spectral triples over commutative…

Operator Algebras · Mathematics 2011-12-30 Paolo Bertozzini , Roberto Conti , Wicharn Lewkeeratiyutkul