Lifting results for categories of algebras
type: Item
instance of: scholarly article
title: Lifting results for categories of algebras
zbMATH Open document ID: 1002.68088
DOI: 10.1016/S0304-3975(00)00338-8
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18B20
zbMATH DE Number: 1768082
zbMATH Keywords: categories of algebras
zbMATH Keywords: Scott domain
zbMATH Keywords: Cartesian closed categories
author: Philip S. Mulry
MaRDI profile type: Publication
cites work: Q3997112
cites work: Semantics of weakening and contraction
cites work: Adjoint Lifting Theorems for Categories of Algebras
cites work: Strong functors and monoidal monads
cites work: Notions of computation and monads
cites work: Generalized Banach-Mazur functionals in the topos of recursive sets
cites work: Monads and algebras in the semantics of partial data types
cites work: Lifting theorems for Kleisli categories
cites work: Partial map classifiers and partial cartesian closed categories
description: scientific article; zbMATH DE number 1768082