Regresión (teoría das categorías)