This episode is also available as a blog post: https://drhenrygarrett.wordpress.com/2021/04/25/groupoid-and-its-definition-20/