Polynomial Functors and Comonoid Structures - Lecture 8

Explore the eighth lecture in a series on polynomial functors presented by David Spivak at the Topos Institute's Poly at Work workshop in February 2024. Delve into advanced mathematical concepts starting with examples of ◁-comonoids and their constructions, followed by an in-depth examination of cofree ◁-comonoids. Progress through the study of cofunctors and conclude with an analysis of bicomodules. Master these complex mathematical structures through detailed explanations and examples spread across this two-and-a-half-hour mathematical exploration.