I had not heard the term catgirl before reading it on Lesswrong. Does this come from the story in The Man-Kzinn Wars series about the woman who gets gradually converted into a Kzinn female (which are only borderline sentient), or is this from some other niche in nerd culture that I am not familiar with?