Category theory for computing science | lit.salon