This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
David McCarthy 🇺🇦
totalutility.bsky.social
did:plc:xbnmnjacvworfxcnecv32wk6
Since, as you noted, you'd expect forgetful functors on naturally occurring algebraic categories not to reflect isos, it's striking that to prove it here you need serious proof & model theory. And the proof has to be quite nonconstructive (?) b/c of Tennenbaum.
2025-08-29T10:21:57.403Z