Resources on String Diagrams, and Adjunctions, and Kan Extensions

I’ve been trying to figure out Kan Extensions Ralf Hinze on Kan Extensions https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf   But while doing that I went down a rabbit hole on String Diagrams This post is the first one on String Diagrams that made sense to me. https://parametricity.com/posts/2015-07-18-braids.html I had seen this stuff before, but I hadn’t appreciated it until … Continue reading Resources on String Diagrams, and Adjunctions, and Kan Extensions