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.