Star-Autonomous Envelopes
Azimuth 2020-04-21
Summary:
In the fourth talk of the ACT@UCR seminar, Michael Shulman told us how to create nice string diagams for any closed symmetric monoidal category. Mike had to teach right after his talk, but he rejoined us for discussions later at the Category Theory Community Server, here: https://categorytheory.zulipchat.com/#narrow/stream/229966-ACT.40UCR-seminar/topic/April.2022nd.3A.20Michael.20Shulman You can view or join the conversation there […]