Category Count (yet again)

Hello WordPress community,

I was wondering how one would do a query where it’d retrieve the category count from a specific cat_id.

It has to be just the number though. I’m planning to use it in a for loop to generate some different things.

Thanks in advance!