Universal Algebra and Category Theory
Domain Theory: has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages.
Type Theory:
is closely related to (and in some cases overlaps with) type systems, which are a programming language feature used to reduce bugs.
Monad algebra-coalgebra: are used in functional programming to express types of sequential computation (sometimes with side-effects).
See Documentations and Related Talks