talking to adam katz about cyclic operads and di-operads and stuff...

??commutative operad and lie operad as cyclic operads... their cyclic algebras being resp frobenius algebras and [lie algebras with invariant bilinear form] ?? or something...

??finding cyclic operads weird at the moment... ??because you can only straightforwardly get a di-operad from them instead of a prop??? ...??or something??

??maybe something about...

prop : prop under "bilinear from prop" (??or something???) ::
di-operad : cyclic operad

???? .... ???or something?? ...


??situations where duals exist, vs where things are self-dual ...???...??...

??and so forth?? ... ??lots of possibilities here??...

??some of these things i've probably gotten confused about before... ???....

??something about ... ??"natural structure of underlying operad of prop under prop p" ... ??and so forth ... ??...