6 ms·
Ed Kmett talk a few years ago: https://youtu.be/HGi5AxmQUwU?si=zSktsfqBNup2veBE&t=29m7s https://youtu.be/HGi5AxmQUwU?si=zSktsfqBNup2veBE&t=29m7s (starting at a
by aporetics 3y ago
Ed Kmett talk a few years ago: https://youtu.be/HGi5AxmQUwU?si=zSktsfqBNup2veBE&t=29m7s https://youtu.be/HGi5AxmQUwU?si=zSktsfqBNup2veBE&t=29m7s (starting at a relevant moment, relating inverse semigroups to LSP)