zbmath.org

Document Zbl 0555.55019 - zbMATH Open

Examples

Geometry Search for the term Geometry in any field. Queries are case-independent.

Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.

"Topological group" Phrases (multi-words) should be set in "straight quotation marks".

au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.

so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.

dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.

la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Fields

any anywhere
an internal document identifier
au author, editor
ai internal author identifier
ti title
la language
so source
ab review, abstract
py publication year
rv reviewer
cc MSC code
ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)

Operators

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses

See also our General Help.

Singular functors and realization functors. (English) Zbl 0555.55019

D. G. Quillen [Homotopical Algebra, Lect. Notes Math. 43 (1967; Zbl 0168.209)] showed that the singular functor and the realization functor have certain properties which imply the equivalence of the weak homotopy theory of topological spaces with the homotopy theory of simplicial sets. In this note the authors generalize this result to show that one can, in essentially the same manner, establish the equivalence of other homotopy theories (e.g. equivariant homotopy theories) with the homotopy theories of simplicial diagrams of simplicial sets.
Let M be a simplicial category which satisfies axioms MO and SMO of Quillen. Let \(\{O_ e)_{e\in E}\) be a set of objects of M satisfying four direct limit axioms which permit among other things the use of Quillen’s small object argument; such a set is called a ”set of orbits” for M. With these assumptions the authors prove that M admits a closed simplicial model category structure in which the simplicial structure is the given one and in which a map \(X\to Y\) in M is a weak equivalence or a fibration iff for every \(e\in E\) the induced map of function complexes \(\hom (O_ e,X)\to \hom (O_ e,Y)\) is a weak equivalence or fibration of simplicial sets. They then prove that the homotopy theory of M is equivalent to the homotopy theory of \(S^ C\) of C-diagrams of simplicial sets (for a suitable choice of small simplicial category C) in the sense that these two categories have the same simplicial homotopy categories.


MSC:

55U35 Abstract and axiomatic homotopy theory in algebraic topology
55U10 Simplicial sets and complexes in algebraic topology
55P91 Equivariant homotopy theory in algebraic topology
57S99 Topological transformation groups