Span (teoría de categorías)