Homotopically trivial toposes

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish (US)
Pages (from-to)171-182
Number of pages12
JournalPacific Journal of Mathematics
Volume110
Issue number1
DOIs
StatePublished - Jan 1 1984

Fingerprint

Topos
Trivial
Homotopy Theory
Maximal Ideal
Best Approximation
Commutative Ring
Logic
Interval

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Homotopically trivial toposes. / Mielke, Marvin.

In: Pacific Journal of Mathematics, Vol. 110, No. 1, 01.01.1984, p. 171-182.

Research output: Contribution to journalArticle

@article{8a3accdbcef84f3cb7d3e360ea119ad0,
title = "Homotopically trivial toposes",
abstract = "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.",
author = "Marvin Mielke",
year = "1984",
month = "1",
day = "1",
doi = "10.2140/pjm.1984.110.171",
language = "English (US)",
volume = "110",
pages = "171--182",
journal = "Pacific Journal of Mathematics",
issn = "0030-8730",
publisher = "University of California, Berkeley",
number = "1",

}

TY - JOUR

T1 - Homotopically trivial toposes

AU - Mielke, Marvin

PY - 1984/1/1

Y1 - 1984/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84972584469&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84972584469&partnerID=8YFLogxK

U2 - 10.2140/pjm.1984.110.171

DO - 10.2140/pjm.1984.110.171

M3 - Article

AN - SCOPUS:84972584469

VL - 110

SP - 171

EP - 182

JO - Pacific Journal of Mathematics

JF - Pacific Journal of Mathematics

SN - 0030-8730

IS - 1

ER -