Richard Southwell
Inspired by Richard Southwell and Bartosz Milewski youtube lectures on Category Theory.