[crawfordcomeaux]

Do you want to be friends with someone looking to use CT in their daily life, including to change their language to improve alignment with reality (is that commutation with reality?) and to see how such changes impact the development of a child? Because the kid's 2 now and I could really use some sanity checking on my principles cause they're learning things way fast.

How would you recommend I go about making friends in the CT community? I'm a full-time parent without a degree and see CT as something worth trying to teach my child now (though without all the jargon).

[FabGenovese]

Please don't, a 2yr old kid should basically play and have fun imho, there's so much time to experience the absolute misery of mathematical frustration.

[crawfordcomeaux]

I think you misunderstand what I'm suggesting. I'm looking to help them (the child, Uni) understand the things they're/we're playing with and having fun doing. I'm also experimenting with how I talk to them and I'm wondering if Modal Homotopy Type Theory suggests ways to form sentences to more clearly state things.

Also, Uni chooses what they do and when they do it. This includes diaper changes and baths. We seek to, at most, influence through what we say/do and configure the environment. We also moderate their food intake when it comes to things like sugar.

So with that in mind, does that change your answer at all?