The goal is to show how a 1978 paper of Richard Wood on monoidal comonads and exponentiation relates to more recent publications such as Pastro et alia [30] and Brugui et alia [7]. In the process, we mildly extend the ideas to procomonads in a magmal setting and suggest it also works for algebras for any club in the sense of Max Kelly [18, 19].
Keywords: Hopf comonad; monoidal comonad; magmal category; procomonad
2020 MSC: 18D15, 18C20, 18D20, 18D60
Theory and Applications of Categories, Vol. 43, 2025, No. 4, pp 68-92.
Published 2025-03-04.
TAC Home