外代数