We prove that if two linear codes are equivalent then they semi-linearly equivalent. also additive MDS over a field additively

We present an elementary proof of the well known theorem that the limit of a levelwise weak equivalence of towers of fibrations of topological spaces is a weak equivalence, without mentioning lim.