En el área de las matemáticas conocida como teoría de categorías , un cosmos es una categoría monoidal cerrada simétrica que es completa y co-completa . [1] La teoría de categorías enriquecida se considera a menudo sobre un cosmos. [2]