--- layout: post title: "Not all equalities are made equal" --- UIP, martin hoffmann, groupoid model...