Maps I: relative to a factorisation system

Abstract Originally, the categorical calculus of relations was developed using the canonical factorisation in regular categories. More recently, relations restricted to a proper factorisation system have been studied by several authors. In the present paper, we consider the general situation, in which relations are induced by an arbitrary stable factorisation. This extension of the calculus of relations is necessary for a categorical development of strongly constructive (and computational) logic, where non-monic relations come about naturally. In this setting, we analyse the correspondence of the maps , i.e. the total, single-valued relations, and the functions , as given by the arrows in the underlying category.

[1]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[2]  Charles Ehresmann,et al.  Sheaves and Cauchy-complete categories , 1981 .

[3]  A. Troelstra.  Constructivism in mathematics , 1988 .

[4]  Andre Scedrov,et al.  A Categorical Approach to Realizability and Polymorphic Types , 1987, MFPS.

[5]  米田 信夫,et al.  On ext and exact sequences , 1961 .

[6]  Dusko Pavlovic,et al.  Constructions and Predicates , 1991, Category Theory and Computer Science.

[7]  G. M. Kelly,et al.  A $2$-categorical approach to change of base and geometric morphisms I , 1991 .

[8]  Ross Street,et al.  Variation through enrichment , 1983 .

[9]  J. Benabou.  Introduction to bicategories , 1967 .

[10]  Walter Tholen,et al.  Factorization systems as Eilenberg-Moore algebras , 1993 .

[11]  A. Carboni,et al.  Cartesian bicategories I , 1987 .

[12]  Aaron Klein.  Relations in categories , 1970 .

[13]  P. T. Johnstone,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (London Mathematical Society Lecture Note Series, 64) , 1983 .

[14]  Ross Street,et al.  CONSPECTUS OF VARIABLE CATEGORIES , 1981 .

[15]  G. M. Kelly,et al.  Categories of continuous functors, I , 1972 .

[16]  Stefano Kasangian,et al.  Bicategories of spans and relations , 1984 .

[17]  Michael Barr,et al.  Exact categories and categories of sheaves , 1971 .

[18]  R. Walters.  Sheaves on sites as Cauchy-complete categories , 1982 .

[19]  G. M. Kelly.  A note on relations relative to a factorization system , 1991 .

[20]  Dusko Pavlovic,et al.  On Completeness and Cocompleteness in an Around Small Categories , 1995, Ann. Pure Appl. Log..

[21]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[22]  Jeanne Meisen,et al.  On Bicategories of Relations and Pullback Spans , 1974 .