Well, female and male are defined based on their gonads. So yes, these are females because they produce egg cells. There are also animals that have more than two sexes or have sexes that change over time, or that are even weirder. But in all these cases, how we classify their sex is by their gonads.

Philosophically speaking, sex as a category is just a way of abstraction for us to better understand the world. But it is just that, a simplified view on the world, a social construct.

to the lizards - they probably wouldn't call themselves females if they could

to humans - our definition of female is producing the large gamete so if all those lizards do that then, from our human perspective, they're female

That pretty accurately describes by experience with progesterone, yeah.

this was not my idea of gender abolition but sure as hell I would welcome it

It's more complicated than that! https://en.wikipedia.org/wiki/Parthenogenesis