Equality vs. Equivalence
19:51–22:12 · 141s
Pressed on whether 'equals' can be weakened to 'isomorphic,' Riehl crisply distinguishes one-categories (equal or not) from higher categories where equivalence replaces equality.
19:51–22:12 · 141s
Pressed on whether 'equals' can be weakened to 'isomorphic,' Riehl crisply distinguishes one-categories (equal or not) from higher categories where equivalence replaces equality.
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.