Though I have to say that [chain complexes](https://en.wikipedia.org/wiki/Chain_complex) and their [homotopy](https://en.wikipedia.org/wiki/Homotopy_category_of_chain_com...) are somewhat more difficult than the structure you need to understand monads. You can even explain monads purely in programming terms, without reference to category theory.