Talk:Localization of a category
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Bousfield
editThis page needs to include something on Bousfield localization from homotopy theory. - Gauge 18:33, 10 August 2005 (UTC)
Categories of Fractions
editBousfield seems to special to me to include it in the text; Verdier localization sounds about right. BTW, for the calculus of fractions there are quite some restrictions on the set of morphisms to be inverted; in particular, it is not generally applicable to construct the derived category directly from chain complexes (see Gelfand/Manin, Methods of Homological Algebra). So I'm wondering: does the name "Localization" just refer to the categories of fractions as stated in the article, or is the general concept of adjoining inverses of arbitrary sets of morphisms? - 80.143.125.195 15:05, 18 January 2007 (UTC)
Definition doesn't make any sense
editBased on the heading, localization should be the process of formally adjoining inverses to a specified set of morphisms in a category. The given definition though (coaugmented functor that is idempotent) has nothing to do with this, and doesn't even yield a new category, or at least not the localization that we want. What is going on? If you work through the idempotent coaugmented functor definition in a few simple cases (monoids as 1-element categories, and posets), then you get that in the monoid case, a 'localization' is equivalent to an invertible element of the monoid, and in the poset case, a 'localization' is an order-preserving map f which satisfies x ≤ f(x) for every x. Neither of these have anything to do with what localization ought to be, which in these cases would be the processes of formally adding inverses to a set of elements in a monoid, and collapsing intervals in a poset. — Preceding unsigned comment added by 71.217.2.181 (talk) 23:54, 31 July 2011 (UTC)
Schizo
editI don't understand what's going here. Why abelian variety? It has nothing to do with a category, and why is derived category disused before the section named localization of categories. -- Taku (talk) 01:13, 13 October 2013 (UTC)
- I agree the ordering is a bit messy. I think the "Categorical definition" should be merged with "Localization of categories". The (category of) abelian varieties up to isogeny etc. should be treated as examples, then. I have not seen abelian varieties up to isogeny as an example of localization of categories, though, so it might be wise to give a reference for this particular example. Jakob.scholbach (talk) 10:13, 13 October 2013 (UTC)