The collection of slow readings with a deep-dive explanations on some topics of Я.
It’s recommended to read it in the order they are listed here.
Theoretical foundations:
- Natural transformation as a basis of control
- What makes a Functor feel like Hom?
- Using Yoneda lemma for flipping notation
- Bind and traverse with Kleisli morphisms
- Context-free effects with Monoidal functors
- Push it to the limit!
- Adjoint functors