Exponentiability and single universes
type: Item
instance of: scholarly article
title: Exponentiability and single universes
zbMATH Open document ID: 0947.18006
DOI: 10.1016/S0022-4049(98)00172-8
published in: Journal of Pure and Applied Algebra
publication date: 2000-10-25T00:00:00Z
review text: The phrase `single universe' refers to the idea that structures of `opposite handedness' on a given base (such as functions and distributions on a space, or covariant and contravariant set-valued functors on a category) can often be regarded as special cases of the objects of a single category; thus covariant and contravariant functors on a category \(\mathbb B\), if regarded as discrete opfibrations and fibrations over \(\mathbb B\), form full subcategories of \({\mathcal {C}at}/{\mathbb B}\). However, the latter is too large to be seen as a common generalization of \([{\mathbb B},{\mathcal {S}et}]\) and \([{\mathbb B}^{\text{op}},{\mathcal {S}et}]\), the authors observe that cutting down to a suitable subcategory of the exponentiable objects of \({\mathcal {C}at}/{\mathbb B}\), consisting of the discrete Conduché fibrations (here called unique factorization lifting functors, or UFL functors for short) yields a better `single universe'. In particular, they show that for a suitable class of categories \(\mathbb B\) the resulting category \({\mathcal {UFL}}/{\mathbb B}\) is a topos. The main thrust of the paper, however, is concerned with `lifting' these ideas to toposes and geometric morphisms: they introduce a notion of `\({\mathcal {UFL}}\) geometric morphism' and show that it serves as a single universe for local homeomorphisms and complete spreads. However, not all complete spreads over a topos \(\mathbb E\) are exponentiable as objects of \({\mathcal {T}op}/{\mathbb E}\); they also introduce a candidate for a single universe for local homeomorphisms and exponentiable complete spreads.
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 54D45
Mathematics Subject Classification ID: 57M12
zbMATH DE Number: 1463288
zbMATH Keywords: single universe
zbMATH Keywords: opposite handedness
zbMATH Keywords: exponentiable objects
zbMATH Keywords: Conduché fibrations
zbMATH Keywords: unique factorization lifting functors
zbMATH Keywords: complete spreads
author: Marta Bunge
author: Susan Niefield
reviewed by: Peter Johnstone
MaRDI profile type: Publication
full work available at URL: s0022-4049(98)00172-8
OpenAlex ID: W2051588615
description: scientific article; zbMATH DE number 1463288