Operaciones recursivas en teoría de categorías Recursive operations in categorical theory