Comment
Comment by gclaramunt
But category theory has direct application to programming: (ignoring non-termination), types and functions form a category and most of the concepts are directly applicable. Functors/map are of everyday use and other CT results are commonly used.
Even JavaScript is getting functional, so CT is getting more relevant and practical everyday