Post #2213274
2026-04-26 00:01 UTC
@alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social I see what you mean but I disagree. The forgetful functor is not the identity, after all.
Replies (1)
-
@cdrichards@mathstodon.xyz 2026-04-26 00:03
@alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social there is only one topic on Mastodon and it’s intensional vs. extensional equality