Skip to main content

Domains occur among spaces as strict algebras among lax


Whereas Alan Day showed that the continuous lattices are the algebras of a filter monad on Set, we employ the theory of lax algebras (as developed by Barr, Pisani, Clementino, Hofmann, Tholen, Seal and others) to broaden this characterisation to a description of the wider class of continuous dcpos as algebras of a lax filter monad. Building on an axiomatisation of topological spaces through convergence as lax algebras of a lax extension of the filter monad to a category of relations, we show that those topological spaces whose associated lax algebra is in fact a strict algebra are what M. Erné called the C-spaces. The sober C-spaces are precisely the continuous dcpos under the Scott topology, and we discuss how the possibly little-known C-spaces, which have been studied by B. Banaschewski, J. D. Lawson, R.-E. Hoffmann, M. Erné and G. Wilke, very directly capture an essential topological notion of approximation inherent in the continuous dcpos, and hence provide a natural topological concept of domain.

Hide All
Abramsky, S. (1991) Domain theory in logical form. Ann. Pure Appl. Logic 51 177.
Abramsky, S. and Jung, A. (1994) Domain theory. In: Handbook of logic in computer science 3Oxford University Press 1168.
Adámek, J., Herrlich, H. and Strecker, G. E. (1990) Abstract and concrete categories, John Wiley & Sons Inc.
Banaschewski, B. (1977) Essential extensions of T 0-spaces. General Topology and Appl. 7 233246.
Barr, M. (1970) Relational algebras. Springer-Verlag Lecture Notes in Mathematics 137 3955.
Borceux, F. (1994) Handbook of categorical algebra 1, Cambridge University Press.
Clementino, M. M. and Hofmann, D. (2003) Topological features of lax algebras. Appl. Categ. Structures 11 267286.
Clementino, M. M., Hofmann, D. and Tholen, W. (2004) One setting for all: metric, topology, uniformity, approach structure. Appl. Categ. Structures 12 127154.
Clementino, M. M. and Tholen, W. (2003) Metric, topology and multicategory – a common approach. J. Pure Appl. Algebra 179 1347.
Day, A. (1975) Filter monads, continuous lattices and closure systems. Canad. J. Math. 27 5059.
Erné, M. (1980) Vollständig distributive topologien und idempotente relationen. Abstracts Deutsche Mathematiker-Vereinigung, Jahrestagung Dortmund.
Erné, M. (1981) Scott convergence and Scott topology in partially ordered sets, ii. Springer-Verlag Lecture Notes in Mathematics 871 6196.
Erné, M. (1991) The ABC of order and topology. In: Category theory at work (Bremen, 1990), Heldermann 5783.
Erné, M. (1999) -continuous posets and their topological manifestation. Appl. Categ. Structures 7 3170.
Erné, M. and Wilke, G. (1983) Standard completions for quasiordered sets. Semigroup Forum 27 351376.
Escardó, M. H. (1997) Injective spaces via the filter monad. Topology Proc. 22 97110.
Escardó, M. H. (1998) Properly injective spaces and function spaces. Topology Appl. 89 75120.
Escardó, M. H. (2004) Synthetic topology of data types and classical spaces. Electronic Notes in Theoretical Computer Science 87 21156.
Escardó, M. H. and Flagg, R. C. (1999) Semantic domains, injective spaces and monads (extended abstract). Electronic Notes in Theoretical Computer Science 20.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S. (2003) Continuous lattices and domains, Cambridge University Press.
Hoffmann, R.-E. (1979) Projective sober spaces. In: Structure of topological categories (Proc. Conf., Univ. Bremen, Bremen, 1978) 18 109153.
Hoffmann, R.-E. (1981) Continuous posets, prime spectra of completely distributive complete lattices, and hausdorff compactifications. Springer-Verlag Lecture Notes in Mathematics 871 159208.
Hofmann, D. and Tholen, W. (2006) Kleisli compositions for topological spaces. Topology Appl. 153 29522961.
Johnstone, P. T. (1982) Stone spaces, Cambridge University Press.
Lawson, J. (1997) The round ideal completion via sobrification. Topology Proc. 22 261274.
Lawson, J. D. (1979) The duality of continuous posets. Houston J. Math. 5 357386.
Lawvere, F. W. (1963) Functorial semantics of algebraic theories, Ph.D. thesis, Columbia University, New York. (Also available in: Repr. Theory Appl. Categ. (2004) 5 1–121.)
Lawvere, F. W. (1973) Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano 43. (Also available in: Repr. Theory Appl. Categ. (2002) 1 1–37.)
Linton, F. E. J. (1969) An outline of functorial semantics. In: Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer-Verlag 752. (Also available in: Repr. Theory Appl. Categ. (2008) 18 1–303.)
MacLane, S. Lane, S. (1998) Categories for the working mathematician, second edition, Springer-Verlag.
Manes, E. (1969) A triple theoretic construction of compact algebras. Springer-Verlag Lecture Notes in Mathematics 80 91118.
Manes, E. G. (1976) Algebraic theories, Springer-Verlag.
Mislove, M. W. (1998) Topology, domain theory and theoretical computer science. Topology Appl. 89 359.
Pisani, C. (1999) Convergence in exponentiable spaces. Theory Appl. Categ. 5 148162.
Schalk, A. (1993a) Algebras for generalized power constructions, Ph.D. thesis, Technische Hochschule Darmstadt.
Schalk, A. (1993b) Domains arising as algebras for powerspace constructions. J. Pure Appl. Algebra 89 305328.
Scott, D. (1972) Continuous lattices. Springer-Verlag Lecture Notes in Mathematics 274 97136.
Seal, G. J. (2005) Canonical and op-canonical lax algebras. Theory Appl. Categ. 14 221243.
Seal, G. J. (2010) Order-adjoint monads and injective objects. J. Pure Appl. Algebra 214 778796.
Smyth, M. B. (1983) Power domains and predicate transformers: a topological view. Springer-Verlag Lecture Notes in Computer Science 154 662675.
Smyth, M. B. (1992) Topology. In: Handbook of logic in computer science 1, Oxford University Press 641761.
Street, R. (1974) Fibrations and Yoneda's lemma in a 2-category. Springer-Verlag Lecture Notes in Mathematics 420 104133.
Taylor, P. (1990) An algebraic approach to stable domains. J. Pure Appl. Algebra 64 171203.
Tholen, W. (2007) Lax-algebraic methods in general topology. Lecture notes of the Summer School in Categorical Methods in Algebra and Topology, Haute Bodeux (Belgium) 2007. (Available at
Tholen, W. (2009) Ordered topological structures. Topology Appl. 156 21482157.
Vickers, S. (1989) Topology via logic, Cambridge University Press.
Wyler, O. (1981) Algebraic theories of continuous lattices. Springer-Verlag Lecture Notes in Mathematics 871 390413.
Wyler, O. (1985) Algebraic theories for continuous semilattices. Arch. Ration. Mech. Anal. 90 99113.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed