Monday, March 7, 2011

??so what about "karoubi envelope of an operad" ??? ... or something ...

??suppose we have a morita equivalence (??of operads?? ... or something ??...) e : x -> y ... ??and also a morphism m : y -> z .... ???then ... ??is there a nice concept here of... ??"the x-analog of z" ??? or something?? ....

hmmm ... ???some sort of "distributivity between morita equivalences and morphisms" ?????? or something ???? .....

???what about something about ... ???expressing a morita equivalence as a span of morphisms .... ????or something??? .... ???span of "morita morphisms" ??? ...

a,b : x <- s -> y span of morita morphisms ... ????....

??what about "weak pushout of bm along a" ... ???or something ...

??maybe for operads the morita span apex should be allowed to be a prop ??? ... ??or something ???.... ??or maybe not necessary??? ??? or something ???...

??so... ???karoubi envelope of typed k-linear operad .... ???...

No comments:

Post a Comment