PatternMatchable, Yoneda Embedding, and Adjunction

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

8 Likes

Very neat. Thanks for writing it down!

4 Likes