A Good Lemma Is Worth a Thousand Theorems (2007)

21 points3 comments2 days ago
whateveracct

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

show comments
pfdietz

(2007)