We prove a general theorem relating pseudo-exponentiable objects of a bicategory K to those of the Kleisli bicategory of a pseudo-monad on K. This theorem is applied to obtain pseudo-exponentiable objects of the homotopy slices Top//B of the category of topological spaces and the pseudo-slices Cat//B of the category of small categories.
Keywords: pseudo-exponentiable, Kleisli bicategory, homotopy slice, pseudo-slice
2000 MSC: 18A40, 18C20, 18A25, 18B30, 54C35
Theory and Applications of Categories,
Vol. 19, 2007,
No. 1, pp 4-18.
http://www.tac.mta.ca/tac/volumes/19/1/19-01.dvi
http://www.tac.mta.ca/tac/volumes/19/1/19-01.ps
http://www.tac.mta.ca/tac/volumes/19/1/19-01.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/1/19-01.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/1/19-01.ps