Relative Identity? Not So Fast
15:42–16:41 · 58s
Pressed about ‘relative identity,’ Thorsten admits he looked it up, sketches the idea, and pushes back on linking it to HoTT—inviting concrete suggestions from listeners.
15:42–16:41 · 58s
Pressed about ‘relative identity,’ Thorsten admits he looked it up, sketches the idea, and pushes back on linking it to HoTT—inviting concrete suggestions from listeners.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.