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

共 9 条

[1] [Anonymous], 1990, ABSTRACT CONCRETE CA
[2] BANACH R, UNPUB PROCOMET 94
[3] BANACH R, UNPUB THEORET COMPUT
[4] Barr M., 1990, CATEGORY THEORY COMP
[5] REGULARITY OF RELATIONS - A MEASURE OF UNIFORMITY
JAOUA, A
MILI, A
BOUDRIGA, N
DURIEUX, JL
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 79 (02) : 323 - 339
[6] Mili A., 1990, INTRO PROGRAM FAULT
[7] Schmidt G., 1993, RELATIONS GRAPHS DIS
[8] Suppes P., 1972, AXIOMATIC SET THEORY, V2
[9] TARSKI A., 1941, J SYMBOLIC LOGIC, V6, P73, DOI DOI 10.2307/2268577

← 1 →