Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for Boardman-Vogt resolution
Typed the heuristic description of what the BV resolution does.
I have typed out some kind of approximation to the full detailed definition of the Boardman-Vogt resolution of an arbitrary -operad.
It looks a bit heavy, but the basic idea is simple and nice. I tried to make it look already a bit less heavy than in the article by glossing over a bunch of little details that are kind of obvious and not so important to the idea (such as the whole -equivariance that kind of just runs along) but it still looks a bit heavy. I added a remark to explain what’s going on.
In fact so far I have just described the collection underlying the BV-resolved operad, not the operad structure itself.
1 to 3 of 3