Post #1846826
2026-04-27 22:05 UTC
@carloangiuli @jonmsterling count me in the "funext isn't natural" camp 😈
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-04-27 22:30
@jpoiret @carloangiuli Well, we said “neutral” not “natural”. But of course it’s both: otherwise it wouldn’t be the mathematics of functions. A formalism serves mathematics, not the other way around.