Samuel Steakley

Date: February 16, 2024
Time: 1:00 pm - 2:00 pm
Location: ICT 616

Title: String diagrams for categories

Abstract: A colorful diagrammatic language for the 2-category of categories has been exposited in a recent monograph by Dan Marsden and Ralf Hinze. In this tutorial, we will demonstrate how to use the language, and we will emphasize its benefits for the study of elementary category theory.