before all my category theory friends conclude that I have gone mad, let me clarify that when I wrote “coherent iso” I really meant “coherent equivalence”

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/davidad/status/1873171654890992092