1: \begin{abstract}

2: For $\cat$ a finite tensor category we consider four versions  of the central monad,

3: $\hopfMonad[1], \dots, \hopfMonad[4]$ on $\cat$.

4: Two of them are Hopf monads, and for $\cat$ pivotal, so are the remaining two.  

5: In that case all $\hopfMonad[i]$ are isomorphic as Hopf monads.

6: We define a {\em monadic cointegral for $\hopfMonad[i]$} to be an $\hopfMonad[i]$-module

7: morphism $\tensUnit \to \hopfMonad[i][D]$, where $D$ is the distinguished invertible

8: object of $\cat$.

9: 

10: We relate monadic cointegrals to the categorical cointegral introduced 

11: by Shimizu (2019),

12: and, in case $\cat$ is braided, to an integral for the braided Hopf algebra

13: $\coend = \int^X \dualL{X} \otimes X$ in $\cat$ studied by Lyubashenko (1995).

14: 

15: Our main motivation stems from the application to finite dimensional quasi-Hopf algebras

16: $H$.

17: For the category of finite-dimensional $H$-modules, we relate the four monadic cointegrals

18: (two of which require $H$ to be pivotal) to four existing notions of cointegrals for

19: quasi-Hopf algebras:

20: the usual left/right cointegrals of Hausser and Nill (1994), as well as so-called

21: $\modulus$-symmetrised cointegrals in the pivotal case, for $\modulus$ the modulus of $H$.

22: 

23: For (not necessarily semisimple) modular tensor categories $\cat$, Lyubashenko gave

24: actions of surface mapping class groups on certain Hom-spaces of $\cat$, in particular of

25: $SL(2,\mathbb{Z})$ on $\cat(\coend,\tensUnit)$.

26: In the case of a factorisable ribbon quasi-Hopf algebra, we give a simple expression for

27: the action of $S$ and $T$ which uses the monadic cointegral.

28: \end{abstract}

29: