Hacker News new | ask | show | jobs
by aporetics 1004 days ago
Ed Kmett talk a few years ago: https://youtu.be/HGi5AxmQUwU?si=zSktsfqBNup2veBE&t=29m7s (starting at a relevant moment, relating inverse semigroups to LSP)