REGULAR RELATIONS AND BICARTESIAN SQUARES

被引：6
|
作者：
BANACH, R
机构：
[1] Computer Science Department, University of Manchester
来源：
THEORETICAL COMPUTER SCIENCE | 1994年 / 129卷 / 01期
关键词：
Bicartesian squares - Data reification - Isomorphism - Regular relations;
D O I：
10.1016/0304-3975(94)90086-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is shown that regular relations, which arise in a number of areas of programming theory, can be characterised in a variety of ways as pullbacks in Jet; and up to isomorphism, as bicartesian squares in Jet.
引用
收藏
页码：187 / 192
页数：6
相关论文
共 50 条
  • [31] Regular Relations and Normality of Topologies
    Xiao-Quan Xu
    Mao-Kang Luo
    Semigroup Forum, 2006, 72 : 477 - 480
  • [32] Regular relations for temporal propositions
    Fernando, Tim
    NATURAL LANGUAGE ENGINEERING, 2011, 17 : 163 - 184
  • [33] RELATIONS AND CONGRUENCES IN REGULAR CATEGORIES
    BURGESS, WD
    CAICEDO, X
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (06): : A687 - &
  • [34] The Powers of Regular Linear Relations
    Daoud, Houcem
    COMPLEX ANALYSIS AND OPERATOR THEORY, 2024, 18 (07)
  • [35] Properties of regular fuzzy relations
    Sobera, J
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2002, 10 (SUPPL.) : 165 - 173
  • [36] VAUGHT SENTENCES AND REGULAR RELATIONS
    MAKKAI, M
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A332 - A332
  • [37] REGULAR RELATIONS AND SVENONIUS FORMULAS
    MAKKAI, M
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (06): : 981 - &
  • [38] Exponential Elimination for Bicartesian Closed Categorical Combinators
    Valliappan, Nachiappan
    Russo, Alejandro
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [39] Sums of squares of regular functions on real algebraic varieties
    Scheiderer, C
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 352 (03) : 1039 - 1069
  • [40] CONSTRUCTIONS OF REGULAR SPARSE ANTI-MAGIC SQUARES
    Chen, Guangzhou
    Li, Wen
    Xin, Bangying
    Zhong, Ming
    BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2022, 59 (03) : 617 - 642
12345