Constructing infinite comatrix corings from colimits. (Q863174)

Let \(k\) be a commutative ring, and \(A\) a \(k\)-algebra, not necessarily with a unit. \(A\) is said to be a firm algebra if the canonical map \(A\otimes_AA\to A\) is an isomorphism. Analogously, we can define firm left \(A\)-modules. The category of firm right \(A\)-modules over a firm ring \(A\) is an Abelian category. If \(A\) is a ring with local units, then \(A\) is a firm ring. The authors consider corings over firm algebras, i.e. coalgebras in the monoidal category of firm \(A\)-bimodules, and introduce a class of infinite comatrix corings. This class extends the construction by \textit{L. El Kaoutit} and \textit{J. Gómez-Torrecillas} [Int. Math. Res. Not. 2004, No. 39, 2017-2037 (2004; Zbl 1084.16029)]. It is shown that the colimit of a functor that is a coalgebra in a functor category is itself a coalgebra. Further, a description of comatrix corings as colimits is given.