Liskof

https://www.youtube.com/watch?v=-Z-17h3jG0A She is pleased with herself that she has managed to have a mathematical trick with type hierarchies you can only grasp with Category theory associated with her name.

links
oop