Question regarding Streamlit maps

In the function, is there any way to increase the size of the dots based on a number value?

For example, the image below shows the location of the mosquito traps in Chicago. Can I change the size of the dots based on the number of mosquitos caught by each trap? Thanks!

My dataset has the following relevant columns:
‘mosquito number’ (this is the number of mosquitos caught)
‘trap’ (this is the trap id)
‘trap type’ offers only very simple options out of the box, without any tweaking options.
You could maybe trick something by custom code injection.

However, for a map display that requires more possibilities, I would use another plotting library together with streamlit, e.g. pydeck, plotly, vega, altair…
Or a 3rd party component for streamlit e.g. streamlit-folium