Ask HN: Why can't type theory be applied to personality types? 5 points by waterwater on Nov 10, 2015 | hide | past | favorite | 18 comments Given that type theory is a system for describing mathematics, and given that "Math can be applied everywhere", why is it that type theory can't seem to be applied to personality type theory? I've been thinking about this since about I started studying type theory. I'm thinking that one abstraction will be: a jolly man can act as a catalyst on a social environment and then cause the environment to be jolly as well. But I'm thinking as well about the case when a man "wearing a hat" can act as a catalyst on a social environment and then cause the environment to be "wearing a hat" as well. An environment "wearing a hat" doesn't sound good, does it? Well, my main question has a tendency to be flawed, but I would really like to have sincere answers. It would really help if the answers would focus on type theory.







