Categorical Foundations: Aspects of Monads