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
A monad for domains and other categories
TOZZI, Anna
2003-01-01
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 monadsFile 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.
