About the Speaker Linquan Ma is an associate professor of mathematics at Purdue University. He obtained his Ph.D from University of Michigan in 2014 under the direction of Melvin Hochster. He has been awarded a Sloan research fellowship in 2020. His main research is on commutative algebra and algebraic geometry. Recently, he has been focused on the development of a mixed characteristic singular...
opos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the work of Olivia Caramello has sh...