کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662954 | 1345214 | 2014 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Continuity and geometric logic
ترجمه فارسی عنوان
تداوم و منطق هندسی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق هندسی، توپوز، محلی، بسته نرم افزاری
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieckʼs view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers and maps as bundles.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 1, March 2014, Pages 14-27
Journal: Journal of Applied Logic - Volume 12, Issue 1, March 2014, Pages 14-27
نویسندگان
Steven Vickers,