在 map 上引导多边形并导出为 png

Question

I have a Shape-file which I read using GeoPandas, and a list of lat long which i read using pandas.

This Shape-file has multiple polygons with an attribute associated with it. For example, imagine counties in a state and population being attribute.

Now I want to plot the polygons, on a Map like google maps or open street maps, and color the polygon based on the attributes.

Then I want to plot the points from the csv on the same map ( on top of the polygons)

Next i want to export the maps as an image (example: png)

I see a ways to plot points on a map (using plotly), ways to plot polygon using geopandas but have not found a way to plot both the polygons and points on a static map which could be exported as image.

What i need is, a map exported as png, with polygons color coded with attribute and points from CSV plotted.

sample of code

import matplotlib.pyplot as plt
import geopandas as gpd
from cartopy import crs as ccrs
path = geopandas.datasets.get_path('naturalearth_lowres')
df = geopandas.read_file(path)
df.crs={'init': 'epsg:3857'}
fig=plt.figure(figsize=[10,5])
ax = fig.add_axes([0, 0, 1, 1], projection=ccrs.Mercator())
ax.set_title('Zindagi Jhandwa Phir bhi Ghamandwa')
ax.add_geometries(df1['geometry'], ccrs.Mercator())

I get an empty plot. Not sure what the issue is here