Opening book details…
Can I read Lifting Results for Categories of Algebras on EtoBox?
Lifting Results for Categories of Algebras by P.S. Mulry is a Computer Science article available to read on EtoBox.
What is Lifting Results for Categories of Algebras about?
In this paper, we present results that provide an abstract setting for the construction and interpretation of categories of algebras appearing in various semantic examples including those related to Scott domains and cartesian closed categories. A methodology is introduced that lifts adjoint pairs on categories with monads to categories whose objects are algebras for these monads. Results are achieved by exploiting prior work on Kleisli liftings and the existence of key isomorphisms. While applicable to domain theory and the semantics of partiality, the construction at work is considerably more general and is applicable to other settings as well.
Who reads Lifting Results for Categories of Algebras?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- P.S. Mulry
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 2002
- Language
- EN
- Field
- Computer Science (Physical Sciences)