Pero la teoría de las categorías también tiene un impacto en la teoría de orden de mayor escala.