This is the material for the course "Categories for the lazy functional programmer" taught at MGS 2024.