Mathematician interested in category theory and its applications to programming, machine learning, and data science.