Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 1311.3451

Toposes, quantales and C* algebras in the atomic case

Simon Henry
View original source ↗Read source document ↗Export metadata ↓

Abstract

We start by reviewing the relation between toposes and Grothendieck quantales. We improve results of previous work on this relation by giving both a characterisation of the map from the tensor product of two internal sup-lattices to another sup-lattice and a description of the category of internal locales of a topos in terms of the associated Grothendieck quantale. We then construct a convolution product, corresponding to internal composition of matrices, on the set of positive lower semi-continuous functions on the underlying locale of the quantale attached to a topos. In good cases, this convolution product does restrict into a well defined convolution product on a subset of the set of continuous functions and defines a convolution C* algebra attached to the quantale. In the last part of this article we investigate in details these attached C* algebras in the special case of an atomic topos. In this situation the related Grothendieck quantale corresponds to a hypergroupoid. Relatively simple finiteness conditions on this hypergroupoid appear in order to obtain an interesting C* algebra. This algebra corresponds to a hypergroupoid algebra which comes endowed with an arithmetic sub-algebra and a time evolution. We conclude by showing that the existence of a hypergroupoid satisfying all the requirements attached to a specified atomic topos is equivalent to the fact that the topos is locally decidable and locally separated. Also in this situation the time evolution only depends on the topos and is described by a (canonical) principal Q+* bundle on the topos. The BC-system and more generally the double cosets algebras are special cases of this situation.

Explore related subjects

math.CTmath.OA

Keep this discovery

BibTeXRIS

Simon Henry. 2013-11-14. Toposes, quantales and C* algebras in the atomic case. https://arxiv.org/abs/1311.3451

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A model structure for cartesian 2-fibrations

Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper develops a homotopical framework that replaces much of this bookkeeping with a fully strict model. By using marked 2-categories to record the cartesian morphisms and 2-cells, we construct a model structure whose fibrant objects are precisely the cartesian 2-fibrations over a fixed 2-category $\mathcal{C}$. We then show that the marked Grothendieck construction identifies these 2-fibrations, up to weak equivalence, with strict 2-functors from $\mathcal{C}$ into $2\mathrm{Cat}$. As an additional contribution, we construct localizations of 2-categories that simultaneously invert selected morphisms and 2-cells.

math.CT↗
arXiv2026

A Natural Fuzzy Order on Fuzzy Numbers

This paper introduces a natural fuzzy order on fuzzy numbers that extends the natural orders on real numbers and interval numbers. We investigate its completeness properties and show that the space of uniformly bounded fuzzy numbers is conically complete and conically cocomplete, and that it is complete if and only if the underlying continuous t-norm is the G\"odel t-norm. Moreover, it is proved that this space constitutes a \([0,1]\)-enriched domain if and only if the underlying continuous t-norm satisfies the (S) condition. These results provide a foundation for ordering fuzzy numbers.

math.CT↗
arXiv2026

Noetherian forms of free non-symmetric operads

In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.

math.CT↗