Jared Summers

Jared Summers is in the Applied Category Theory course. He writes:

I was a math and computer science major in college (finished BS in both) and attempted grad school in CS before going into industry as an embedded software developer and tester. I’ve had a longstanding interest in formal methods in CS and a desire to get back into studying mathematics proper. Over the years this has meant refreshing myself on topics that I learned but didn’t understand well as an undergrad (lots of things clicked the second time around), and in the past couple years this has taken me to more advanced topics in mathematics. I attempted to self-study category theory several years ago with no success. But recently, and with this current book, I’ve found some of the ideas more comprehensible (how it goes, must’ve seen or learned something else that set the stage for this, or saw the information in the right context).