> He has a youtube channel with lectures in number theory, category theory and other things.

The channel: https://www.youtube.com/@richarde.borcherds7998