Write-up for the Foundations of Computation 2 unit, titled ‘Monoids and their uses’.