The Michael completion of a topos spread

DOI10.1016/S0022-4049(02)00129-9MaRDI QIDQ1850095zbMATH OpenOpenAlexFDO

Authors Thomas Streicher, Marta Bunge, Jonathon Funk, M. Jibladze

Publication date 2 December 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(02)00129-9

completion Fox's spreads morphisms of toposes

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categorical methods in general topology (54B30) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Fiberings with singularities in algebraic topology (55R55) Fibrewise topology (55R70)

Review text

The topos-theoretic analogue of the notion of spread, as introduced in the realm of topological spaces by \textit{R. H. Fox}, was studied by the first two authors of this paper [\textit{M. Bunge} and \textit{J. Funk}, J. Pure Appl. Algebra 113, 1-38 (1996; Zbl 0861.18004), ibid. 130, 49-84 (1998; Zbl 0924.18001)]. \textit{E. Michael} [Nederl. Akad. Wet., Proc., Ser. A 66, 629-633 (1963; Zbl 0202.22101)] introduced a different approach to Fox's spreads, which in particular resulted in a notion of completion which was subtly different from Fox's. The present paper shows that Michael's definition may also be re-interpreted for morphisms of toposes, and compares the Fox and Michael completions in this context.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: The Michael completion of a topos spread

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850095)