Vol. 110, No. 1, 1984

Recent Issues
Vol. 328: 1
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
The Journal
Editorial Board
Submission Guidelines
Submission Form
Policies for Authors
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
Other MSP Journals
Homotopically trivial toposes

Marvin Victor Mielke

Vol. 110 (1984), No. 1, 171–182

We give a number of equivalent conditions for a topos to be homotopically trivial and then relate these conditions to the logic of the topos. This is accomplished by constructing a family of intervals that can detect complemented, regular subobjects of the terminals. It follows that these conditions generally are weaker than the Stone condition but are equivalent to it if they hold locally. As a consequence we obtain an extension of Johnstone’s list of conditions equivalent to DeMorgan’s law. Thus, for example, the fact that there is no nontrivial homotopy theory in the category of sets is equivalent to the fact, among others, that maximal ideals in commutative rings are prime. Moreover, any topos has a ’best approximation’ by a locally homotopically trivial topos.

Mathematical Subject Classification 2000
Primary: 18B25
Secondary: 03G30
Received: 9 December 1981
Revised: 15 June 1982
Published: 1 January 1984
Marvin Victor Mielke