CT Seminar: Sina Hazratpour (JHU)
Krieger 413Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I […]
Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I […]
Title: Abstract:
Dr. Riehl will be giving an interactive talk where we will play the natural numbers game and learn about formalizing mathematics in a computer-proof assistant! We ask that everyone who […]
Title: The Geometry of Theta Correspondence for Principal Series over Finite Fields Abstract: In this talk, we explore the finite field theta correspondence between principal series representations. We begin by […]
Title: From Instability to Singularity Formation in Incompressible FluidsAbstract: In this talk, I will first review the singularity formation problem in incompressible fluid dynamics, describing how particle transport poses the main challenge […]
Title: ell-adic topological Jacquet-Langlands duality Abstract: I will describe the construction of an "ell-adic topological Jacquet-Langlands (TJL) dual" of each finite CW-complex. One effect of the TJL dual is […]
Infinite dimensional representations of semisimple Lie algebras
Title: Mean curvature flow with multiplicity 2 convergence Abstract: Mean curvature flow (MCF) has been widely studied in recent decades, and higher multiplicity convergence is an important topic in the study […]
Title: The integral converse theorem and no-shadowing bounds for polynomials and L-functions Abstract: I will outline an alternative argument for the complex-analytic ingredient of the "unbounded denominators theorem" joint with […]
Title: On linear and non-linear stability of collisionless systems on black hole exteriors. Abstract: I will present upcoming linear and non-linear stability results for collisionless systems on spherically symmetric black holes. On the […]
Title: Constructing (infinity,n)-categories with desired properties Abstract: In this talk I want to describe a specific example of a symmetric monoidal (infinity,3)-category of generalized spans with local systems (a la […]