#set text(font: "Garamond", fill: purple)
#set heading(numbering: "1.")
= Our First Section
A  _monad_  is just a monoid $
    (M , mu , eta)
$ in the monoidal category $("End" cal(C) , compose , I_C)$ of endofunctors, what\'s the problem?\u{1f914}