Lifting results for categories of algebras

DOI10.1016/S0304-3975(00)00338-8zbMath1002.68088MaRDI QIDQ1605183

Philip S. Mulry

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Cartesian closed categoriescategories of algebrasScott domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Related Items

Partial map classifiers and partial cartesian closed categories, Generalized Banach-Mazur functionals in the topos of recursive sets, Categories of Timed Stochastic Relations

Cites Work

• Unnamed Item
• Notions of computation and monads
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Monads and algebras in the semantics of partial data types
• Semantics of weakening and contraction
• Partial map classifiers and partial cartesian closed categories
• Strong functors and monoidal monads
• Adjoint Lifting Theorems for Categories of Algebras
• Lifting theorems for Kleisli categories