Applied category theory
Applied category theory is an academic discipline in which methods from category theory are used to study other fields including but not limited to computer science, physics, control theory, natural language processing, probability theory and causality. The application of category theory in these domains can take different forms. In some cases the formalization of the domain into the language of category theory is the goal, the idea here being that this would elucidate the important structure and properties of the domain. In other cases the formalization is used to leverage the power of abstraction in order to prove new results about the field.
