Localic maps constructed from open and closed parts
سال انتشار: 1396
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 115
فایل این مقاله در 16 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-6-0_002
تاریخ نمایه سازی: 23 شهریور 1400
چکیده مقاله:
Assembling a localic map f\colon L\to M from localic maps f_i\colon S_i\to M, i\in J, defined on closed resp. open sublocales (J finite in the closed case) follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but for obvious reasons such a proof cannot be imitated in the point-free context. Instead, we present simple proofs based on categorical reasoning. There are some related aspects of localic preimages that are of interest, though. They are investigated in the second half of the paper.
کلیدواژه ها:
نویسندگان
Ales Pultr
Department of Applied Mathematics and ITI, MFF, Charles University, Malostransk&#۰۳۹;e n&#۰۳۹;am. ۲۴, ۱۱۸۰۰ Praha ۱, Czech Republic.
Jorge Picado
CMUC, Department of Mathematics, University of Coimbra, Apar-ta-do ۳۰۰۸, ۳۰۰۱-۵۰۱ Coimbra, Portugal.
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :