Coends and construction of Hopf algebras

Abstract

In the previous chapter we described properties of Hopf algebras in braided tensor categories. Now we are going to construct an important class of examples of such Hopf algebras. They are built as special inductive limits, namely, coends.

We begin with a discussion of a large class of coends in abelian tensor categories that are determined by an expression with operations ⊗, ⊠, ^v, etc. We compute several coends and establish canonical isomorphisms among them.