Categoria degli universi di dispositivi e categoria delle T-algebre.