There is a progression of different types, the smaller green/yellow ones are the first to ripen and they usually appear in March. The larger, more yellow ones during the summer and the large red/orange ones are from mid summer to fall. They overlap and there are others as well but these are the main three. All of them are available in the supermarkets right now but they are from farther south. The names here are probably local, the earliest, small yellow/green are called Ataulfo, the mid summer ones are Manilla, and the large red ones that come at the end of the season - I'm having a senior moment and I can't remember the local name for those. Of course, the trees are everywhere and of unknown origen. Generally, the backyard mangos are smaller, yellow to green, oblong and very sweet with no stringiness. I prefer those for chutneys and sauces. Locals say the crop will be smaller this year because of the unseasonal rain we've had in the fall and winter. Perhaps, but I still see all the trees around the city full of almost full size green fruit that should ripen now that we are getting more heat.