#pseudomorphismclassifier β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pseudomorphismclassifier, aggregated by home.social.
-
New paper ππ
About coherence π₯±π€βοΈjoint work with Nick Gurski
https://arxiv.org/abs/2312.11261The title is:
Universal pseudomorphisms, [*deep breath*]
with applications to diagrammatic coherence for braided and symmetric monoidal functors ππΈI've always thought coherence theorems sound boring, but actually they're good! In this paper we take a problem that is hard (coherence for structured functors), do a *bunch* of really abstract stuff (2-monad theory), and come out with a solution that makes your life* significantly better.
[*Here, "your life" means the part of your life you spend checking diagrams of braided monoidal functors. Or, more generally, pseudomorphisms for algebras over a 2-monad.]
Almost 1/5 of this paper is dedicated to real, genuine examples, and that's what I want to focus on below. I'll say just a bit about the more abstract machinery on which the examples are based. If you've been following along, this is the culmination of my series "weird facts about monoidal functors and coherence" [1,2,3,4].
[1] https://mathstodon.xyz/@nilesjohnson/110741323263984146
[2] https://mathstodon.xyz/@nilesjohnson/110876487813747736
[3] https://mathstodon.xyz/@nilesjohnson/110979458364785667
[4] https://mathstodon.xyz/@nilesjohnson/111070640771166081#CategoryTheory #MonoidalFunctor #Coherence #Braided #Symmetric #PseudomorphismClassifier
(1/14)