Re: Descent for fibred monads

Actually

In the same situation, take T to be the monad for free vector spaces E ---pi_0---> S ---Fv---> S ---Delta---> E induced by the free vector space monad Fv on S. Then T-algebra descent data over U --->> 1 is a vector bundle split by U; so such objects are equally algebras for the monad (A--->U) |----> (Delta Fv pi_0 A) x U ---> U

This bit is clear rubbish. But the rest of my question remains. Richard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]