Extensions in the theory of lax algebras

Christoph Schubert and Gavin J. Seal

Recent investigations of lax algebras - in generalization of Barr's relational algebras -make an essential use of lax extensions of monad functors on Set to the category Rel(V) of sets and V-relations (where V is a unital quantale). For a given monad there may be many such lax extensions, and different constructions appear in the literature. The aim of this article is to shed a unifying light on these lax extensions, and present a symptomatic situation in which distinct monads yield isomorphic categories of lax algebras.

Keywords: lax algebra, Kleisli extension, initial extension, strata extension, tower extension

2000 MSC: 18C20, 18B30, 54A05

Theory and Applications of Categories, Vol. 21, 2008, No. 7, pp 118-151.

http://www.tac.mta.ca/tac/volumes/21/7/21-07.dvi
http://www.tac.mta.ca/tac/volumes/21/7/21-07.ps
http://www.tac.mta.ca/tac/volumes/21/7/21-07.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/21/7/21-07.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/21/7/21-07.ps

TAC Home