You’re clearly putting a lot of effort into this, but I have doubts about the exposition style. For someone who doesn’t know multiple math fields, cat theory is useless. For someone who does, a more compact intro should suffice, like these slides or the SEP entry.
I agree. I’m shifting gears to work on something basically aimed at the idea that the intelligent layperson can grasp Yoneda lemma and adjunction if it’s explained.
As someone with half an undergrads worth of math background, I’ve found these posts useful to grasp the purpose and some of the basics of category theory. It might be true that there’s exist some exposition out there which would work better, but I haven’t found/read that one, and I’m happy that this one exists (among other things, it has the not-to-be-underestimated virtue of being uneffortful to read). Looking forward to the Yoneda and adjunction posts!
You’re clearly putting a lot of effort into this, but I have doubts about the exposition style. For someone who doesn’t know multiple math fields, cat theory is useless. For someone who does, a more compact intro should suffice, like these slides or the SEP entry.
I agree. I’m shifting gears to work on something basically aimed at the idea that the intelligent layperson can grasp Yoneda lemma and adjunction if it’s explained.
As someone with half an undergrads worth of math background, I’ve found these posts useful to grasp the purpose and some of the basics of category theory. It might be true that there’s exist some exposition out there which would work better, but I haven’t found/read that one, and I’m happy that this one exists (among other things, it has the not-to-be-underestimated virtue of being uneffortful to read). Looking forward to the Yoneda and adjunction posts!