Here you can find all my previous posts:

• Matrix Multiplication in K - August 23, 2024
• Equivalence Relations with Applications - September 4, 2019
• Yoneda, Currying, and Fusion - December 17, 2018
• Inaugural post - September 22, 2018