We prove that the Feynman category encoding Schwarz’s variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting.
生成讲解博客的中文版本
生成AI智能校验的中文版本