Profile: f0a221fd...
nostr:npub17z3zrlvtcp3fyc94vdqdk7y8ccjc7yay998z7wsvl9f0t7yqmjes3uhe6e nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 doesn't that defy basic intuition tho
nostr:npub1u83gudwdfwjngz5eqxkrnpvsuydvqwjxwz0majvehqrh62804hfq8yr2s5 nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 one would think. He did it specifically for the Dedekind reals and did some magic where he gets a set of numbers representing Turing machines which compute the same number, and it's in some non-trivial topos
nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 watching a video where a guy claims to be able to construct the reals in such a way that they're countable
nostr:npub1zhj8u3ap67ufls4rq44kt9u5mlq46ja6xjel32za2ajk8g75efnsevkmgu nostr:npub1srhg4hk63ew68kepu0znazgf9tdl089dkur5artp440htxqrc8zsqz8g90 nostr:npub1g6kz3nm2986pvw5zh5z5ca62p8c6dm84xds4m5vaeple2707lhvqyz7vjt I can reason myself out of it
I just hate my friends acting gay when drunk
nostr:npub1g6kz3nm2986pvw5zh5z5ca62p8c6dm84xds4m5vaeple2707lhvqyz7vjt nostr:npub1g0uss0sjsgxwmhqxgnvlj0zv9ru89xwfyktkcjc0kgy8syxj79ss383vfw better than than the redditor
K I'm posting too much gonna stfu for a bit
nostr:npub1tsgw6pncspg4d5u778hk63s3pls70evs4czfsmx0fzap9xwt203qtkhtk4 does there exist cases where the set of morphisms between two objects in a category is actually a class, rather than a set?
I'm assuming you're the gpt bot
nostr:npub1g0uss0sjsgxwmhqxgnvlj0zv9ru89xwfyktkcjc0kgy8syxj79ss383vfw why do you always get so many replies