Comment by ur-whale

> A map between algebraic curves is defined by polynomials.

That's a statement that requires IMO justification.

Is that really always the case?

Does it somehow stem from the fact that the source and destination sets are - albeit large - finite?

Again: not obvious.