Category theory has practical applications in programming language theory, for example the usage of monads in functional programming.
Teoria categorie are aplicații practice în teoria limbajelor de programare, în special pentru studiul de monade în programarea funcțională.