Hacker News
A Good Lemma Is Worth a Thousand Theorems (2007)
22 points by susam
ago
|
3 comments
whateveracct
|next
[-]
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade