Masahito Hasegawa ; Jean-Simon Pacaud Lemay - Traced Monads and Hopf Monads

compositionality:13529 - Compositionality, October 30, 2023, Volume 5 (2023) - https://doi.org/10.32408/compositionality-5-10
Traced Monads and Hopf MonadsArticle

Authors: Masahito Hasegawa ORCID1; Jean-Simon Pacaud Lemay ORCID2

  • 1 Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan
  • 2 School of Mathematical and Physical Sciences, Macquarie University, Sydney, New South Wales, Australia

A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without explicitly mentioning the Eilenberg-Moore category. On the other hand, a symmetric Hopf monad is a symmetric bimonad whose fusion operators are invertible. For compact closed categories, symmetric Hopf monads are precisely the kind of monads that lift the compact closed structure to their Eilenberg-Moore categories. Since compact closed categories and traced symmetric monoidal categories are closely related, it is a natural question to ask what is the relationship between Hopf monads and traced monads. In this paper, we introduce trace-coherent Hopf monads on traced monoidal categories, which can be characterized without mentioning the Eilenberg-Moore category. The main theorem of this paper is that a symmetric Hopf monad is a traced monad if and only if it is a trace-coherent Hopf monad. We provide many examples of trace-coherent Hopf monads, such as those induced by cocommutative Hopf algebras or any symmetric Hopf monad on a compact closed category. We also explain how for traced Cartesian monoidal categories, trace-coherent Hopf monads can be expressed using the Conway operator, while for traced coCartesian monoidal categories, any trace-coherent Hopf monad is an idempotent monad. We also provide separating examples of traced monads that are not Hopf monads, as well as symmetric Hopf monads that are not trace-coherent.


Volume: Volume 5 (2023)
Published on: October 30, 2023
Imported on: May 2, 2024
Keywords: Mathematics - Category Theory,18M10, 18C15, 18C20, 16T05, 16D90

Consultation statistics

This page has been seen 480 times.
This article's PDF has been downloaded 337 times.