Loading paper
Hopf categories associated to comonoidal functors | Tomesphere