Второй том содержит разделы: полугруппы, решетки, булевы алгебры, универсальные алгебры, категории. Кроме основных определений, авторы стремились ограничиться изложением результатов, которые могут быть полезны за пределами рассматриваемой области алгебры. Доказательства не приводятся.