Integrating ideas from category theory, algebra and combinatorics, this monograph is organised into three parts: category theory; combinatorics and geometry; and an examination of how ideas in Parts I and II lead to a unified approach to Hopf algebras.