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.
expanded the Idea-section at schreiber:oo-Lie differentiation and integration and polished the section of oo-Lie diffeentiation somewhat, following the blog discussion here
somewhat complementary to the above, added now also to schreiber:path oo-groupoid a section Inclusion of infinitesimal paths that provides the basis for integration of oo-Lie algebroid valued differential forms.
In the blog comment to John Baez I said I need to assume representables to be contractible for this to work, but now I think it works generally. I might be making a mistake, though...
er, there's a problem with what I wrote. I'll fix it later, gotta run now...
My claim yesterday of the weak equivalence was bogus.
I removed the corresponding discussion and replaced at schreiber:integration of oo-Lie algebroid valued forms the affecteed discussion with a (hopefully) correct new discussion
following the blog discussion I also expanded the Idea-section at schreiber:oo-Lie algebroid
I also improved the definition there. Now the definition uses notions entirely internal to oo-Lie groupoids. The previous definition in terms of Chevalley-Eilenberg algebras is now a consequence of the new definition.
1 to 4 of 4