We investigate cofree coalgebras, and limits and colimits of coalgebras in some abelian monoidal categories of interest, such as bimodules over a ring, and modules and comodules over a bialgebra or Hopf algebra. We nd concrete generators for the categories of coalgebras in these monoidal categories, and explicitly construct cofree coalgebras, products and limits of coalgebras in each case. This answers an open question in [4] on the existence of a cofree coring, and constructs the cofree (co)module coalgebra on a B-(co)module, for a bialgebra B.

We study relative homological algebra and relative Hochschild cohomology. We dualise the construction in [Cib+21b] for a ring extension B ⊆ A to construct a long nearly exact sequence for the relative Hochschild cohomology HH∗(A|B), the Hochschild cohomology HH∗(A) and the Hochschild cohomology HH∗(B,A). Parallel to this we also study corings and the associated Cartier cohomology and Hochschild cohomology. Given an A-coring C and its right algebra R we have induced maps ExtiA(M, N) → ExtiR(R⊗A M, R⊗A N) by the induction functor. We characterise the vanishing of the Hochschild cohomology of the coring in terms of these induced maps being isomorphisms for degrees greater than or equal to one.