3 ms·

Thanks for the link, the whole site (logicmatters.net) seems awesome, aka for me worth bookmarking for future study!

• Smaug123 10y ago
  Smith is a great expositor. I had the joy of participating in a category theory reading group with him; he really knows his stuff. It's refreshing to be taught by a mathematician/philosopher rather than simply a mathematician.