Post #2652251
2026-05-11 12:00 UTC
@SamToth@mathstodon.xyz Maybe... So far I've been a bit more conservative, not allowing any kind of dependency on "category variables".
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-05-11 12:04
@dwarn@mathstodon.xyz @SamToth@mathstodon.xyz Yes, that is very sensible. If you allow dependency, I will start cranking out counterexamples ;-)