don't see a categories.php file

Hi,
I just tried to add the code to the tidal force theme on elegant themes but there is no categories.php file. any other name it can be under?

I'm reading this article:
https://premium.wpmudev.org/blog/how-to-display-your-wordpress-category-description-in-your-theme/