4:15 pm - 5:15 pm Category Theory Seminar: Anthony Agwu (JHU) April 2 @ 4:15 pm - 5:15 pm Category Theory Seminar: Anthony Agwu (JHU)
3:00 pm - 4:00 pm Condensed seminar: Naruki Masuda (JHU) April 9 @ 3:00 pm - 4:00 pm Condensed seminar: Naruki Masuda (JHU) Title:Â Six functor formalism and the !-topology
4:15 pm - 5:15 pm Category Theory Seminar: Anna Matsui (JHU) April 9 @ 4:15 pm - 5:15 pm Category Theory Seminar: Anna Matsui (JHU) 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
3:00 pm - 4:00 pm Condensed seminar: Anish Chedalavada (JHU) April 16 @ 3:00 pm - 4:00 pm Condensed seminar: Anish Chedalavada (JHU) Title: Analytic stacks
4:15 pm - 5:15 pm Category Theory Seminar: Nooria Ahmed (JHU) April 16 @ 4:15 pm - 5:15 pm Category Theory Seminar: Nooria Ahmed (JHU)
4:15 pm - 5:15 pm Category Theory Seminar: Paula Verdugo (JHU) April 23 @ 4:15 pm - 5:15 pm Category Theory Seminar: Paula Verdugo (JHU)