Title: Comonoids in Poly are categories
Abstract: The goal of my talk is to sketch out an easy to follow, diagrammatic proof of the above statement.
The Calgary Peripatetic Seminar
University of Calgary's seminar on logic, mathematics, and computer science
Title: Comonoids in Poly are categories
Abstract: The goal of my talk is to sketch out an easy to follow, diagrammatic proof of the above statement.