Категория для математических тождеств — равенств, выполняющихся при любых значениях задействованных в них переменных. Математические тождества несут в себе полезную информацию, иллюстрируя (порой неожиданные) связи между различными математическими объектами и величинами.