Fundamental Constructions for Coalgebras, Corings, and Comodules

We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphasis is given to the question which properties of these categories can be seen as instances of general categorical resp. algebraic results. However, we also obtain new results concerning the existence of limits and of factorizations of morphisms.