Actualmente já são conhecidas relações entre categorias e quantales. Agora, imagine-se que se definia uma estrutura adicional em cada uma destas noções, aparecendo desta forma a definição de categoria métrica e quantale métrico. Existem categorias e quantales métricos? Temos ferramentas que permitam construir alguns destes quantales? Qual a relação entre estas novas estruturas?