Variations on the bagdomain theme

https://doi.org/10.1016/0304-3975(94)00120-8Get rights and content
Under an Elsevier user license
open archive

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).

Cited by (0)