Are topics in a default muted category indexed by google?

I’ve checked robot.txt, and there was no disallow there, but I just wanted to be sure if the topics in a default muted category are still visible to google and other search engines. are they?