 |
Post AvdU8rd5MRFOwFhwPo by [email protected] |
 |
More posts by [email protected] |
|
Post #AvYeltQqcW7VZfQv20 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I just realized that my whole adult life I've been studying precategories. … |
|
|
|
Post #AvYeltYIAq4hwkurdQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski Studying HoTT is all cool and good, but they keep trying to re… |
|
|
|
Post #AvYeltf1lnSkHe4F8K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh @BartoszMilewski -yes, they're trying to redefine "equals"… |
|
|
|
Post #AvYgnFf5ejV0iTs2Fs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @julesh They are arguing that "equals" was a loose ba… |
|
|
|
Post #AvYi7cvexUF8cltsbw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @julesh They are trying to exorcise the "evil" from c… |
|
|
|
Post #AvYik4PVER3GrPBrTE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez writes 'they're trying to redefine "equals"&#… |
|
|
|
Post #AvdU8qZVIGmver1ZC4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski @johncarlosbaez @julesh With due respect, if you want to criti… |
|
|
|
Post #AvdU8qgEtEAxzkAwgy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @johncarlosbaez @julesh I've read and watched Voyevodsky'… |
|
|
|
Post #AvdU8qmyUBZ0KdKKBs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski @johncarlosbaez @julesh While this is correct, it is an extrem… |
|
|
|
Post #AvdU8rd5MRFOwFhwPo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @johncarlosbaezRe "Equality of topological spaces is equiva… |
|
|
|
Post #AvdU8rkAw4v1IF1bSy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@tobymeadows asks "In HoTT/UF, isn't it closer to the classical notion… |
|
|
|
Post #AvdU8uySvP8FJQjYem by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo Thanks. That's very helpful. |
|
|
|
Post #AvdU8xr8D832FYKF8q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @johncarlosbaez @julesh The chat medium has its limitations. |
|
|
|
Post #AvdU8xxVpP9UZLJL5U by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski writes "The chat medium has its limitations."Despite… |
