An Explicit Computation in Derived Algebraic Geometry

Earlier this week my friend Shane and I took a day and just did a bunch of computations. In the morning we did some differential geometry, where he told me some things about what he’s doing with symplectic lie algebroids . We went to get lunch, and then in the afternoon we did some computations in derived algebraic geometry . I already wrote a blog post on the differential geometry, and now I want…