查看文章

We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an Abelian monoidal category ℳ. If ℳ is also cocomplete, complete, and AB5, we show that such a cotensor coalgebra exists and satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration is filled by considering a direct limit of a filtration consisting of wedge products. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.