Equivalences of comodule categories for coalgebras over rings (Q1612169)

Morita-equivalence for categories of comodules over a field was developed by \textit{M. Takeuchi} [in J. Fac. Sci. Univ. Tokyo, Sect. I A 24, 629-644 (1977; Zbl 0385.18007)]. In the present paper the author considers Morita-equivalence for categories of comodules over an arbitrary commutative ring \(k\). A right \(D\)-comodule \(X\) over a coalgebra \(D\) is `quasi-finite' if the functor \(_k{\mathcal M}\to{\mathcal M}^D\), \(N\mapsto N\otimes X\) has a left adjoint \(Y\mapsto h_D(X,Y)\). Then \(e_D(X)=h_D(X,X)\) is the coalgebra of `coendomorphisms' of \(X\). If \(C,D\) are two coalgebras then the following are equivalent: (i) the coalgebras \(C\) and \(D\) are Morita-Takeuchi equivalent, that is the categories \({\mathcal M}^C,{\mathcal M}^D\) are equivalent; (ii) the categories \(^C{\mathcal M},{^D{\mathcal M}}\) are equivalent; (iii) there exists a \(C\)-\(D\)-bicomodule \(X\), such that \(X_D\) is quasi-finite, (iv) the functor \(Y\to M\square_DY\) mapping \(^D{\mathcal M}\to{_k{\mathcal M}}\) preserves and reflects exact sequences, (v) the functor \(Y\to h_D(X,Y)\) is exact, (vi) \(e_D(X)\simeq C\) as coalgebras. There are some other characterizations of a similar nature. In the last section the author studies Morita-Takeuchi contexts.