A Good Lemma Is Worth a Thousand Theorems (2007)

24 points - last Saturday at 5:56 AM

whateveracct today at 2:50 AM

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

pfdietz today at 2:10 AM

(2007)