Louise Hay Logic Seminar
Yutong Duan
University of Illinois at Chicago
Type-definability of binding group and groupoid
Abstract: I would like to give a proof of the type-definability of a groupoid structure that can be defined when a type has relative internality. And then I may show some examples.
Monday February 3, 2025 at 3:00 PM in 612 SEO