Ale S Pultr And Anna Tozzi Dedicated to the memory of Ivan Rival  Home/Search
Context Related
| kam.mff.cuni.cz/~kamserie/...s580.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kam.mff.cuni.cz/~kamseri...kamser (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A small modi cation of Vickers' de nition of continuous information systems allows for a representation of the category of continuous domains (continuous DCPOs) and several other categories (Scott domains, continuous Scott domains, continuous lattices, algebraic lattices, and others) as Kleisli categories of suitable monads. (Update)
Cited by: More
Continuous DCPOs as complete information systems - Pultr, Tozzi (2002) (Correct)
Active bibliography (related documents): More All
1.0: Local Directedness and Some Categories of Domains - Pultr, Tozzi (2001) (Correct)
0.2: A Primer On Galois Connections - Erne, Koslowski, Melton, Strecker (1992) (Correct)
0.2: Closure Frames and Web Spaces - Erné, Pultr, al. (2000) (Correct)
Similar documents based on text: More All
0.1: Finite-to-Finite Universal Quasivarieties are Q-Universal - Adams, Dziobiak (Correct)
0.1: Combinatorial Trees in Priestley Spaces - Ball, Pultr, Sichler (2004) (Correct)
0.1: Animating Z specifications in Haskell using a monad - Howard Goodman (1993) (Correct)
BibTeX entry: (Update)
A. Pultr and A. Tozzi, A monad for domains and other categories, submitted for publication. http://citeseer.ist.psu.edu/pultr02monad.html More
@misc{ pultr-monad,
author = "A. Pultr and A. Tozzi",
title = "A monad for domains and other categories",
text = "A. Pultr and A. Tozzi, A monad for domains and other categories, submitted
for publication.",
url = "citeseer.ist.psu.edu/pultr02monad.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
214 Domains for denotational semantics (context) - Scott - 1982
211 Domain Theory - Abramsky, Jung - 1994
11 New York Heidelberg Berlin (context) - Manes, Theories et al. - 1976
6 Continuous information systems (context) - Hoofman - 1993
5 The ABC of order and topology (context) - Ern - 1991
3 Springer Lecture notes in Math (context) - Scott, Lattices - 1972
2 Scott Information Systems (context) - Banaschewski, Pultr - 2000
1 A Note on Injective Spaces (context) - Cagliari, Pultr
Documents on the same site (http://kam.mff.cuni.cz/~kamserie/kamser.html): More
On-Line and Off-Line Distance Constrained Labeling of Disk.. - Fiala, Fishkin, Fomin (2002) (Correct)
On Pattern Coloring of Cycle Systems - Dvorak, Kara, Kral, Pangrac (2002) (Correct)
A Constructive View of Complete Regularity - Banaschewski, Pultr (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC