I'm starting this as a free-form chat/strategy discussion, for ideas about how to the momentum going, even after the course at MIT ends this month.

I think we're at a crossroad - with some more fermentation and activity, we could build and go forward. There is _a lot_ more content in the lectures than we have touched upon in the lectures - we've only scratched the surface of functional programming here! Without this, however, and with the course at MIT ending soon, we could easily get into a cycle of reduced activity, reduced readership, and a hibernation until next January.

Please chime in with any ideas (even half-baked) you might have here.

And we can also think more broadly, beyond this particular course, about how to use the forum as a place to think about and teach category theory and other math.