there are some categorical characterizations of the closed interval [0, 1] which are interesting, e.g. freyd's characterization or escardo-simpson's, but they don't seem to make the pythagorean…

Posters: QiaochuYuan. QiaochuYuan

4 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/QiaochuYuan/status/1579568337792950273