Notes on Sconing and Relators
نویسندگان
چکیده
This paper describes a semantics of typed lambda calculi based on relations. The main mathematical tool is a category-theoretic method of sconing, also called glueing or Freyd covers. Its correspondence to logical relations is also examined.
منابع مشابه
Relators and Metric Bisimulations
Coalgebras of set functors preserving weak pullbacks are particularly well behaved Invoking a result by Carboni Kelly and Wood we show that this can be explained by the fact that such functors can be uniquely extended to a relator This insight next suggests a de nition of metric bisimulation
متن کاملPreorder Relators and Generalized Topologies
In this paper we investigate generalized topologies generated by a subbase of preorder relators and consider its application in the concept of the complement. We introduce the notion of principal generalized topologies obtained from the new type of open sets and study some of their important properties.
متن کاملBalanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture
The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators ≤ 12. We show that all these presentations satisfy the Andrews-Curt...
متن کاملConceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations
The importance of relations for conceptual modelling motivates an evaluation of Conceptual Graphs (CG) in this respect. This analysis is presented on the formal ontological basis provided by the General Formal Ontology (GFO). On the basis of a simple example domain, modelling problems are identified and analyzed in connection with more sophisticated relational concepts like roles, relators, and...
متن کاملMedical students' Study Resources: Books or Notes
Introduction: Given the importance and impact of test resources on medical student’ learning, this study aimed to assess the time devoted to study books and notes during the semester and exam time. Methods: This descriptive-analytic study was conducted on all medical students (120) who were passing internship period at Isfahan University of medical sciences in 2011. Devoted time to study books...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992