Categories of Nets

Re:Categories of Nets by crawfordcomeaux on Tuesday January 19, 2021 @03:46AM (#25831271)

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).

[ Parent | on HN ]

Re:Categories of Nets by FabGenovese on Wednesday January 20, 2021 @03:26PM (#25851516)

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.

[ Parent | on HN ]

Re:Categories of Nets by crawfordcomeaux on Thursday January 28, 2021 @04:32AM (#25939953)

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?

[ Parent | on HN ]