Commit used for the paper Univalent Material Set Theory