Taut Monads and T0-spaces

[1]  Stephen Herman Kamnitzer.  Protoreflections, relational algebras and topology. , 1974 .

[2]  I. H. Öğüş,et al.  NATO ASI Series , 1997 .

[3]  Richard S. Bird,et al.  An introduction to the theory of lists , 1987 .

[4]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[5]  E. Manes.  A class of fuzzy theories , 1982 .

[6]  Anders Kock,et al.  On Double Dualization Monads. , 1970 .

[7]  Richard S. Bird,et al.  Algebra of programming , 1997, Prentice Hall International series in computer science.

[8]  Oswald Wyler.  Algebraic theories of continuous lattices , 1981 .

[9]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[10]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[11]  Martin Hotzel Escard.  INJECTIVE SPACES VIA THE FILTER MONAD , 1997 .

[12]  E. G. Manes.  Compact Hausdorff objects , 1974 .

[13]  S. Lane.  Categories for the Working Mathematician , 1971 .

[14]  S. Eilenberg,et al.  Adjoint functors and triples , 1965 .

[15]  Martín Hötzel Escardó,et al.  Properly injective spaces and function spaces , 1998 .

[16]  Ernest G. Manes,et al.  Implementing collection classes with monads , 1998, Mathematical Structures in Computer Science.

[17]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[18]  A. Kock.  Monads for which Structures are Adjoint to Units , 1995 .

[19]  Erik Poll,et al.  Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). , 1999 .

[20]  Martín Hötzel Escardó,et al.  Semantic Domains, Injective Spaces and Monads , 1999, MFPS.

[21]  Alan Day.  Filter monads, continuous lattices and closure systems , 1975 .