A categorical perspective on extended metric-topological spaces

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces). One of the main achievements is the proof of the bicompleteness (i.e. of the existence of all small limits and colimits) of the aforementioned categories.