کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4598362 | 1336279 | 2007 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Cocomplete toposes whose exact completions are toposes
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
اعداد جبر و تئوری
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Let EE be a cocomplete topos. We show that if the exact completion of EE is a topos then every indecomposable object in EE is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Grothendieck toposes whose exact completion is a Grothendieck topos.We also show that for any topological space XX, the exact completion of Sh(X) is a topos if and only if XX is discrete. The corollary in this case characterizes the Grothendieck toposes with enough points whose exact completions are toposes.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Pure and Applied Algebra - Volume 210, Issue 2, August 2007, Pages 511–520
Journal: Journal of Pure and Applied Algebra - Volume 210, Issue 2, August 2007, Pages 511–520
نویسندگان
Matías Menni,