Hi, thanks for the answers, I tried to look up why a pointwise limit of continuous functions is Borel measurable, but I couldn't figure out that?
Any reference or hint?
In the axoim of Abelian category I am trying to see why does only the zero category satisfy axioms AB5 (direct limit preseve exact sequences) and AB5* (projective limit preserve exact sequences).