Categorical Methods in Computer Science With Aspects from Topology

این جلد شامل مقالات منتخب کارگاه بین‌المللی «روش‌های طبقه‌بندی در علوم رایانه - با جنبه‌هایی از توپولوژی» و «ششمین کارگاه بین‌المللی نوع داده» است که در اوت/سپتامبر 1988 در برلین برگزار شد. 23 مقاله این جلد در سه بخش گروه بندی می شوند: بخش 1 شامل مقالاتی در زمینه مبانی طبقه بندی و مفاهیم اساسی از نظریه مقوله در علوم کامپیوتر است. بخش 2 کاربردهای روش های طبقه بندی را برای زبان ها و تکنیک های مشخصات جبری، انواع داده ها، پایگاه های داده، برنامه نویسی و مشخصات فرآیند ارائه می دهد. قسمت 3 شامل مقالاتی در مورد جنبه‌های طبقه‌بندی از توپولوژی است که عمدتاً بر موقعیت‌های الحاقی خاص مانند نزدیکی دکارتی، اتصالات گالوا، انعکاس‌ها، و همبستگی‌ها متمرکز است که در توپولوژی طبقه‌بندی و علوم کامپیوتر مورد توجه فزاینده‌ای هستند.

This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.