Skip to main content

Yutong Duan : Type-definability of binding group and groupoid

Posted by Yutong Duan , part of the Louise Hay Logic Seminar.

At
Feb. 3, 2025, 3 p.m.
In
612 SEO
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.