Monads are a powerful concept from category theory, a branch of mathematics dealing with abstract structures and their relationships.