Elements in Applied Category Theory features Elements intended both for mathematicians familiar with category theory and seeking elegant, graduate-level introductions to other fields in the language of categories, and for subject-matter experts outside of pure mathematics interested in applications of category theory to their field.

Areas of interest:  Category theory; Theoretical computer science; Mathematical linguistics; Programming languages; Mathematical physics; Foundations of mathematics