A Project

I've been self-studying on various topics, including topology, category theory, domain, theory, abstract algebra, and others for a while. It occurred to me I could perhaps facilitate more rapid learning of these subjects if I undertook implementing them as programming tasks. Experience has shown me that I can learn from reading, but I learn much more readily from building things.

This would also lay groundwork for future investigations. I suspect that many of the results from these branches of mathematics could be put to use to automatically synthesize large amounts of code (ie "I noticed that your module satisfies such-and-such properties from topology; here, have a distance metric and a normalization function").

We'll see how it goes...