The Calgary Peripatetic Seminar
University of Calgary's seminar on logic, mathematics, and computer science
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.
Powered by UCalgary
The views, information, or opinions expressed on this site are solely those of the individual(s) involved and do not necessarily represent the position of the University of Calgary as an institution.
Digital Privacy Statement | Privacy Policy | Copyright © 2019