Toot

Written by Martin Escardo on 2024-09-06 at 20:34

@apostolis @andrejbauer @dimpase

I may say more tomorrow or later.

But one thing to say now is that the assumptions are not random in TypeTopology. They are calculated, in our minds, to be as minimal as possible.

We don't just wildly start with any assumption and see what happens.

=> More informations about this toot | View the thread | More toots from MartinEscardo@mathstodon.xyz

Mentions

=> View apostolis@social.coop profile | View andrejbauer@mathstodon.xyz profile | View dimpase@mathstodon.xyz profile

Tags