Re:From Sets to Categories
by GrantMoyer on Wednesday August 14, 2024 @02:20PM
(#41248997)
I found the series of Category Theory lectures by Bartosz Milewski[1] extremely helpful and approachable. It indroduces the abstract concepts of category theory while giving concrete examples of those concepts and tying some key concepts back to properties of types in programming languages.
[1]: https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...