Entenderemos por álgebra universal un álgebra que resulta como elemento universal de una determinada categoría, como son las álgebras tensoriales, simétricas, exteriores y de Clifford, entre otras. Las álgebras simétricas y exteriores resultan como un cociente del álgebra tensorial.