- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
ESSENTIAL LOCALIZATIONS AND INFINITARY EXACT COMPLETION
Theory and Applications of Categories, Vol. 8, No. 17, 2001, pp. 465–480.
ESSENTIAL LOCALIZATIONS AND INFINITARY EXACT
COMPLETION
ENRICO M. VITALE
ABSTRACT. We prove the universal property of the infinitary exact completion of a
category with weak small limits. As an application, we slightly weaken the conditions
characterizing essential localizations of varieties (in particular, of module categories) and
of presheaf categories.
Introduction
An essential localization is a reflective subcategory such that the reflector has a left
adjoint. In [12], Roos gave an abstract characterization of essential localizations of module
categories, proving that they are those complete and cocomplete abelian categories with
a regular generator, satisfying the following conditions (we write the conditions in a non-
abelian style, more convenient for the general framework of this work)
(AB4*) Regular epimorphisms are product-stable ;
(AB5) Filtered colimits are exact, i.e. commute with finite limits ;
(AB6) Given a small family of functors (Hi : Ai → A)I defined on small filtered categories,
the canonical comparison τ is an isomorphism
τ : colim(
∏
I
Ai →
∏
I
A → A) ?→
∏
I
(colimHi) .
In a subsequent paper [13], Roos introduced a weaker form of (AB6) :
(WAB6) With the same notations as in (AB6), the comparison morphism τ is a regular
epimorphism.
It is then natural to look for a representation of the abelian categories satisfying the same
list of conditions as in Roos’s theorem, but replacing (AB6) with (WAB6).
The first aim of this paper is to prove that this set of conditions, which seems weaker,
still characterizes essential localizations of module categories. In fact we prove a more
general result : Roos’s theorem has recently been generalized by Ada?mek, Rosicky? and
the author to a non-additive context [1]. They have characterized essential localizations of
(multi-sorted, finitary) varieties as those complete and cocomplete Barr-exact categories
Received by the editors 2000 Nove
您可能关注的文档
- Decoherence at absolute zero.pdf
- Decoherence for phase-sensitive relaxation.pdf
- Deformed Chern-Simons interaction for nonrelativistic point particles.pdf
- Dehn surgeries on 2-bridge links which yield reducible 3-manifolds.pdf
- DEIF丹控 AGI 100 series 产品样本V1.pdf
- DEK印刷机手册Vortex Under Screen Cleaner Module.pdf
- Delivery of peptide and protein drugs over the blood–brain barrier.pdf
- Demco valve.pdf
- Demo report (5V3@2A Charger Design with SC1229K)-Rev1 20140918.pdf
- DEMPack-tutorial-02.pdf
- 【精品】人教版小学语文一年级下册期末试卷含参考答案.docx
- 【精品】人教版小学科学二年级上册期中试卷含参考答案.docx
- 【精品】北师大版小学信息技术六年级上册期中试卷含参考答案.docx
- 【精品】北师大版小学信息技术二年级上册模拟考卷含参考答案.docx
- 【精品】北师大版小学语文四年级下册模拟考卷含参考答案.docx
- 【精品】北师大版小学语文五年级下册期末考卷含参考答案.docx
- 【精品】北师大版小学语文三年级上册期中试卷含参考答案.docx
- 【精品】北师大版小学数学六年级上册期末考卷含参考答案.docx
- 【精品】北师大版小学科学六年级下册期中考卷含参考答案.docx
- 【精品】北师大版小学英语六年级下册期中考卷含参考答案.docx
文档评论(0)