A small modification of Vickers’ definition 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
Titolo: | A monad for domains and other categories |
Autori: | |
Data di pubblicazione: | 2003 |
Rivista: | |
Abstract: | A small modification of Vickers’ definition 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 |
Handle: | http://hdl.handle.net/11697/15773 |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.