This category is for mathematical identities, i.e. identically true relations holding in some area of algebra (including abstract algebra, or formal power series).