WordPress 特定のカテゴリに属する記事（投稿）の数を取得する

WordPressで、例えばカテゴリ名「ネコ」に属する記事の数を知りたい場合。

//カテゴリ名からカテゴリIDを取得
$cat_id = get_cat_ID("ネコ");
//カテゴリ情報を取得
$cat = get_category($cat_id);

echo "「ネコ」カテゴリの記事の数は" . $cat->count . "です。";