Ancestors

Written by Oscar Cunningham on 2025-01-09 at 20:13

So in HoTT everything automatically respects the principle of equivalence, and it's impossible to write down something that doesn't. Whereas in ZFC we have the ability to do evil and we have to choose not to. Kinda feels like a snake got someone to eat an apple.

=> More informations about this toot | More toots from OscarCunningham@mathstodon.xyz

Toot

Written by Metamere on 2025-01-09 at 21:12

@OscarCunningham I figured that you must have been comparing two different Role-Playing-Game rule systems. I guess I wasn't too far off...

=> More informations about this toot | More toots from Metamere@genart.social

Descendants