17 Jan
1995
17 Jan
'95
1:58 p.m.
As my last paragraph tried to make clear, we can't expect much. If we define Hom(X,Y) as (adj X) tensor Y then the functor A directsum Hom(x,Y) looks as if it ought to have an interesting fixed point. It doesn't.