|
Stable Model Category
In category theory, a branch of mathematics, a stable model category is a pointed model category in which the suspension functor is an equivalence of the homotopy category with itself. The prototypical examples are the category of spectra in the stable homotopy theory In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the F ... and the category of chain complex of ''R''-modules. On the other hand, the category of pointed topological spaces and the category of pointed simplicial sets are not stable model categories. Any stable model category is equivalent to a category of presheaves of spectra. References * Mark Hovey: ''Model Categories'', 1999, . Category theory {{categorytheory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism compos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pointed Model Category
In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called ' weak equivalences', 'fibrations' and 'cofibrations' satisfying certain axioms relating them. These abstract from the category of topological spaces or of chain complexes (derived category theory). The concept was introduced by . In recent decades, the language of model categories has been used in some parts of algebraic ''K''-theory and algebraic geometry, where homotopy-theoretic approaches led to deep results. Motivation Model categories can provide a natural setting for homotopy theory: the category of topological spaces is a model category, with the homotopy corresponding to the usual theory. Similarly, objects that are thought of as spaces often admit a model category structure, such as the category of simplicial sets. Another model category is the category of chain complexes of ''R''-modules for a commutative ring ''R''. Homotopy theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
