Brendan Zabarauskas on Twitter: "@jonmsterling Thanks a bunch for all the thoughts! A bunch of it over my head but gotta start somewhere, hah. Might come back with more questions down the line as I mull over things. 😅" / Twitter

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Does this ‘not understanding it well’ have any impact on universes in type theory in general? Thinking about `U` and `El` in Tarski-style universes.

1

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Brendan Zabarauskas

@brendanzab

Replying to

@jonmsterling

Thanks a bunch for all the thoughts! A bunch of it over my head but gotta start somewhere, hah. Might come back with more questions down the line as I mull over things. 😅

6:02 AM · Sep 1, 2022Twitter for iPhone

1

Like

Conversation