11 de febrero de 2014

Retrotracciones y protracciones


Me quedé pensando en una posible traducción para los términos pullback y pushout usados en la Teoría de Categorías. Después de pasar por tirón y empujón, me quedaría con tracción para pullback y, con menos certeza, con expulsión o despido o expelición para pushout.
     Por otro lado, siguiendo la sugerencia de El voto batracio y del dibujo que aparece en la página 189 del libro Abstract and concrete categories: the joy of cats, me quedo con retrotracción para pullback y con protracción para pushout.