※ Zomm 병행: https://snu-ac-kr.zoom.us/j/2473239867 


Infinity-category theory is a generalization of the ordinary category theory, where the categorical perspective is extended into the homotopical one, and it plays a significant role for derived/spectral algebraic geometry. Without going further to this new branch of algebraic geometry, I’ll present an idea in which a problem of ordinary algebraic geometry (which is some version of a well-known result in algebraic topology that the fundamental group of the product of pointed spaces is isomorphic to the product of fundamental groups of each pointed space) is solved with the help of infinity-category theory.