algebraic Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven.