“An introduction to Category Theory for Software Engineers”