A simplicial and categorical background for Hopf algebras in number theory and physics