Spreads and the symmetric topos
type: Item
instance of: scholarly article
title: Spreads and the symmetric topos
zbMATH Open document ID: 0861.18004
DOI: 10.1016/0022-4049(95)00150-6
published in: Journal of Pure and Applied Algebra
publication date: 1997-05-12T00:00:00Z
review text: This paper introduces a new and useful tool for the study of the distribution on a topos, of the geometric morphisms and symmetric toposes: the notion of spread for toposes and geometric morphisms. In a diagram \(\begin{matrix}{\mathcal E}&@>\varphi>> &{\mathcal F}\\ \quad e\searrow& &\swarrow f\\& {\mathcal S}\end{matrix}\) in the 2-category of elementary toposes, bounded geometric morphisms and natural transformations, \(\varphi\) is said to be a spread over \(\mathcal S\) if there is a generating family \(E\to \varphi^* F\) for \(\mathcal E\) over \(\mathcal F\) which is \(\mathcal S\)-definable. It is shown that (geometric) spreads are, as in topology, fiberwise zero-dimensional (here zero-dimensionality is defined in terms of relatively complemented opens). In the next section the fiberwise versions of density and purity for geometric morphisms over a base topos are introduced and two factorizations, the pure surjection/spread and the pure dense/complete spread, for geometric morphisms in \(\text{Top}_{\mathcal S}\) with locally connected domain are established. In the process the category of distribution on a topos is characterized in terms of complete spreads. Finally, the above results are applied to the study of the symmetric toposes. In particular it is shown that the symmetric topos is part of a Kock-Zöberlein 2-monad. The authors also give a new construction of bicomma squares in which the ``lower'' leg is an essential geometric morphism (this construction is linked to an interpretation of the equivalence between points of the symmetric topos and complete spreads with locally connected domain as being given by the bicomma square in which the ``lower'' leg is the unit of the symmetric monad). The local connectedness is characterized in terms of the symmetric topos and the bagdomain construction is related via the classifier to a probability distribution.
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18A32
zbMATH DE Number: 943209
zbMATH Keywords: distribution on topos
zbMATH Keywords: geometric morphisms
zbMATH Keywords: symmetric toposes
zbMATH Keywords: spreads
zbMATH Keywords: 2-category
zbMATH Keywords: elementary toposes
zbMATH Keywords: Kock-Zöberlein 2-monad
zbMATH Keywords: bicomma squares
zbMATH Keywords: local connectedness
author: Marta Bunge
author: Jonathon Funk
reviewed by: I. Tofan
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00150-6
OpenAlex ID: W4213337074
cites work: Fuzzy Set Theory and Topos Theory
cites work: Molecular toposes
cites work: Introduction to bicategories
cites work: Cosheaves and distributions on toposes
cites work: The symmetric topos
cites work: Constructive theory of the lower power locale
cites work: Connected limits, familial representability and Artin glueing
cites work: Q4150817
cites work: Q3243614
cites work: Q4698557
cites work: Q4145861
cites work: Open maps of toposes
cites work: Q3901650
cites work: Q3820598
cites work: Fibrewise separation axioms for locales
cites work: Q3138550
cites work: Monads for which structures are adjoint to units
cites work: Q4311229
cites work: Cohesive Toposes and Cantor's 'lauter Einsen'
cites work: Q4883222
cites work: Cuts
cites work: Q3714248
cites work: Q4170869
cites work: Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
cites work: Q3876103
cites work: The comprehensive factorization of a functor
cites work: Q3138549
description: scientific article; zbMATH DE number 943209