John Baez and James Dolan, 2023-08-03

The philosophy of separable algebras and how they're connected to Galois theory. How Carboni got a Boolean pretopos by taking the opposite of the category of separable commutative k-algebras over a field k, or some generalization of that, like etale algebras over a commutative ring:
Aurelio Carboni, Matrices, relations, and group representations, www.sciencedir...
John Baez, Grothendieck-Galois-Brauer Theory (Part 1), golem.ph.utexa...
For more on this whole series of conversations, go here:
math.ucr.edu/h...