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

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/15773
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact