En las Matemáticas, uno de los conceptos fundamentales del álgebra abstracta es la idea del objeto libre. Forma parte del álgebra universal, puesto que se relaciona a todos los tipos de estructura algebraica (con operaciones finitas). También se puede formular en términos de la teoría de categorías. Son ejemplo los grupos libres, álgebras tensoriales, o retículos libres. De manera informal, un objeto libre sobre un conjunto A puede pensarse como la estructura algebraica ""genérica"" sobre A: las únicas ecuaciones que se cumplen entre sus elementos son aquellas que se siguen al definir los axiomas de la estructura algebraica.