Analysis seminar: Aaron Tyrell (Texas Tech)

Krieger 302

Title: First eigenvalue estimates on asymptotically hyperbolic manifolds and their submanifolds.  Abstract: I will report on joint work with Samuel Pérez-Ayala. We derive a sharp upper bound for the first eigenvalue $lambda_{1,p}$ of the $p$-Laplacian on asymptotically hyperbolic manifolds for $1<p<infty$. We then prove that a particular class of conformally compact submanifolds within asymptotically hyperbolic […]

Category Theory Seminar: Anna Matsui (JHU)

Krieger 413

Title: The simply typed 2λ-calculus Abstract: 2λ-calculus is a language with three levels: types, terms, and rewrites. I will explore their properties and give categorical description of the equational theory on the rewrites of the 2λ-calculus