Variations on the Bagdomain Theme

Abstract The notion of bagdomain was first introduced by Vickers, (1992) and further studied by the present author in (Johnstone, 1992). In these papers, attention was focused on one particular version of the bagdomain construction, the “bag” analogue of the lower (Hoare) powerdomain; but there are many other possibilities. The purpose of the present paper is to introduce some of these possibilities and to describe their basic properties, using the theory of fibrations and partial products developed in (Johnstone, 1993).

[1]  Peter T. Johnstone,et al.  Algebraic theories in toposes , 1978 .

[2]  André Joyal,et al.  Continuous categories and exponentiable toposes , 1982 .

[3]  G. M. Kelly.  Applications of Categories in Computer Science: On clubs and data-type constructors , 1992 .

[4]  Peter T. Johnstone,et al.  Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.

[5]  Y. Diers.  Categories of Boolean Sheaves of Simple Algebras , 1986 .

[6]  Anders Kock.  Algebras for the partial map classifier monad , 1991 .

[7]  Ieke Moerdijk,et al.  Local Maps of Toposes , 1989 .

[8]  A. Kock.  Monads for which Structures are Adjoint to Units , 1995 .

[9]  Andrea Schalk,et al.  Algebras for generalized power constructions , 1993 .

[10]  Peter T. Johnstone,et al.  Fibrations and partial products in a 2-category , 1993, Appl. Categorical Struct..

[11]  Roy Dyckhoff,et al.  Total reflections, partial products, and hereditary factorizations , 1984 .

[12]  Robert D. Tennent,et al.  Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.

[13]  Roy Dyckhoff,et al.  Exponentiable morphisms, partial products and pullback complements , 1987 .

[14]  Steven Vickers,et al.  Applications of Categories in Computer Science: Geometric theories and databases , 1992 .

[15]  P. T. Johnstone,et al.  Partial products, bagdomains and hyperlocal toposes , 1992 .

[16]  Hugo Volger,et al.  Preservation theorems for limits of structures and global sections of sheaves of structures , 1979 .

[17]  S. Vickers.  Topology via Logic , 1989 .