I have made a little article for some observations of category theory topics, including Yoneda lemma, adjunctions, when building pattern matching for a eDSL.
https://miaozc.me/2025-01-15-patternmatchable-and-yoneda-embedding.html
I have made a little article for some observations of category theory topics, including Yoneda lemma, adjunctions, when building pattern matching for a eDSL.
https://miaozc.me/2025-01-15-patternmatchable-and-yoneda-embedding.html
Very neat. Thanks for writing it down!